conjure-cp conjure issues

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool

Other

96 stars 20 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Setup ccache for make

#514 ZachNewbery closed 2 years ago
1
`sequence` documentation and implementation do not agree

#513 stylpe closed 1 year ago
2
`_` isn't renamed under certain conditions, which Savile Row doesn't like

#512 stylpe closed 2 years ago
6
Incorrect refinement of size of set literal containing decision variables

#511 MHHenriksen closed 2 years ago
3
Generate params.irace file automatically from generator.essence

#510 ozgurakgun closed 2 years ago
3
Simplify docker

#509 ChrisJefferson closed 2 years ago
3
Automatically Publish Docker Image to GHCR.io

#508 ZachNewbery closed 2 years ago
9
Error checking is matrix is in set of sequence

#507 ChrisJefferson opened 2 years ago
0
matrix indexed by empty domain

#506 ndangtt closed 2 years ago
2
SMT backend confusion

#505 ott2 closed 1 year ago
10
Patch

#504 ZachNewbery closed 2 years ago
0
Looks like incorrect refinement (wrong solutions with kissat, chuffed, cplex)

#503 pwn1 closed 2 years ago
3
missing param in eprime file

#502 ndangtt closed 2 years ago
3
domain filtering breaking with w_FunctionAsRelation_RelationAsSet_Explicit?

#501 ott2 closed 2 years ago
4
Bug with BACP repair spec for instance-gen

#500 ndangtt closed 3 years ago
0
New solver build method

#499 ChrisJefferson closed 3 years ago
4
Proofreading, minor tweaks

#498 felixvuo closed 3 years ago
1
Proofreading, minor changes

#497 felixvuo closed 3 years ago
5
Docsday

#496 ozgurakgun closed 3 years ago
2
Clearing conjure-output means you get no answers

#495 ChrisJefferson opened 3 years ago
1
Variable sized and fixed size allDiff breaks with non integers

#494 SaadAttieh opened 3 years ago
0
Print message to stderr, to make it easier to skip

#493 ChrisJefferson closed 3 years ago
1
Remove comment files from JSON output, so the file is a valid stream of JSON objects

#492 ChrisJefferson closed 3 years ago
1
conjure asks for CPLEX_PATH even when cplex is added to PATH

#491 ndangtt closed 1 year ago
2
subsetEq quantifier does not work over defined portion of function

#490 SaadAttieh opened 4 years ago
0
enums with repeated values do crazy things

#489 ChrisJefferson closed 1 year ago
1
Add a --solver-seed option

#488 ozgurakgun opened 4 years ago
0
"conjure modelling -as" takes very long time

#487 ndangtt opened 4 years ago
0
conjure modelling issue: variable name is used without defined

#486 ndangtt closed 4 years ago
3
`conjure parameter-generator`: decision variable appears in domain

#485 ndangtt closed 4 years ago
0
Conjure generating many redundant constraints for CVRP

#484 SaadAttieh closed 4 years ago
4
paramgen: change middle/delta to min/max

#483 ndangtt closed 4 years ago
1
`parameter-generator`: upper bound of cardinality for partial function

#482 ndangtt closed 4 years ago
5
`parameter-generator`: conjure hangs when a `where` statement is added

#481 ndangtt closed 4 years ago
5
parameter-generator for boolean functions: a new rewriting rule with percentages

#480 ndangtt closed 4 years ago
8
"parameter-generator" for record types: Undefined reference

#479 ndangtt closed 4 years ago
1
Unparseable input for the new json output format

#478 JoanEspasa closed 4 years ago
2
Fix lex issue in #456

#477 fraser-dunlop closed 4 years ago
7
change expected output of test

#476 fraser-dunlop closed 4 years ago
4
new allDiff sequence refinement caused long running cyclic_graph test failure

#475 fraser-dunlop opened 4 years ago
5
fix for issue #456 regression on <=lex

#474 fraser-dunlop closed 4 years ago
3
issue with letting and set

#473 ndangtt closed 4 years ago
5
Adding coin-or and CPLEX

#472 ozgurakgun closed 4 years ago
0
`parameter-generator`: letting param is missing in generator spec

#471 ndangtt closed 4 years ago
0
parameter-generator: issue with letting and where statements

#470 ndangtt closed 4 years ago
0
CPLEX via LIBRARY_PATH

#469 ozgurakgun closed 4 years ago
1
Adding code coverage to Azure

#468 ozgurakgun closed 4 years ago
0
Super comparators

#467 fraser-dunlop closed 4 years ago
1
Comparator fix

#466 fraser-dunlop closed 4 years ago
5
Generate repairing model for the tuning

#465 ozgurakgun closed 4 years ago
12

Previous Next