Skip to content

Issues: conjure-cp/conjure

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

48 Open 472 Closed
48 Open 472 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Crashes modelling function as a relation
#664 opened Aug 24, 2024 by N-J-Martin
2
improve redundant model check for --portfolio
#663 opened Jul 4, 2024 by ozgurakgun
1
Conjure outputting solutions to previous problems
#652 opened Mar 14, 2024 by ChrisJefferson
Refinement of matrix expression is not valid Essence'
#651 opened Mar 14, 2024 by ChrisJefferson
Building documentation doesn't work in Python 3.12
#649 opened Mar 11, 2024 by ChrisJefferson
3
Crossfigures spends an unusual amount of time in Name.pretty due to Name.(==)
#640 opened Feb 14, 2024 by CodingCellist
help message showing the wrong parameter description
#639 opened Jan 31, 2024 by SeppiaBrilla
VSCode extension doesn't work for all Essence keywords
#633 opened Nov 24, 2023 by N-J-Martin
1
Update the tutorials (notebook versions)
#597 opened Nov 2, 2023 by ozgurakgun
3 tasks
5
JSON for enumerated type
#583 opened Sep 2, 2023 by ott2
3
Can't reuse record or variant names
#577 opened Jun 26, 2023 by ChrisJefferson
unexpected "undefined reference"
#576 opened Jun 25, 2023 by ott2
unexpected user error (rule_DomainMinMax.minOfDomain ?)
#575 opened Jun 21, 2023 by ott2
3
Crash constructing prefixes of sequences.
#571 opened Jun 6, 2023 by pwn1
@ozgurakgun
4
Solution counting flag to conjure solve ...
#545 opened Dec 9, 2022 by ozgurakgun
Add binary relation attributes to the docs
#538 opened Nov 2, 2022 by ozgurakgun
Conjure produce bad answers if same param file is reused
#533 opened Sep 23, 2022 by ChrisJefferson
4
Specify which generator is unsupported in error message
#516 opened Jun 17, 2022 by stylpe
1
Error checking is matrix is in set of sequence
#507 opened Apr 6, 2022 by ChrisJefferson
Clearing conjure-output means you get no answers
#495 opened Dec 16, 2020 by ChrisJefferson
1
Variable sized and fixed size allDiff breaks with non integers
#494 opened Nov 17, 2020 by SaadAttieh
subsetEq quantifier does not work over defined portion of function
#490 opened Aug 10, 2020 by SaadAttieh
Add a --solver-seed option Feature Request
#488 opened Jun 11, 2020 by ozgurakgun
"conjure modelling -as" takes very long time
#487 opened Jun 4, 2020 by ndangtt
new allDiff sequence refinement caused long running cyclic_graph test failure
#475 opened Mar 3, 2020 by fraser-dunlop
5
ProTip! What’s not been updated in a month: updated:<2024-10-23.