conjure

conjure copied to clipboard

I'm not 100% sure this is even valid (I'm mixing sequences and matrices), but it tells me "this should never happen" :) ``` language Essence 1.3 find ixmat: set of...

ChrisJefferson

Clearing conjure-output means you get no answers

1

If after solving a problem you write: rm conjure-output/* Then future calls to conjure to solve the same problem always give no solutions. I guess this is because that line...

ChrisJefferson

``` find s : sequence (maxSize 5) of (int(1..5), int(1..5)) such that allDiff([(i,j) | p

SaadAttieh

conjure asks for CPLEX_PATH even when cplex is added to PATH

1

conjure asks for CPLEX_PATH when calling `conjure solve` although I already have cplex in my PATH. Interestingly when I reverted back to a previous commit `6c29fbde9 (2019-11-19 14:31:13 +0000)`, CPLEX_PATH...

ndangtt

``` letting D be domain int(1..3) find f : function (maxSize 3) set of D --> D such that forAll {s1,s2} subsetEq defined(f) . true ```

SaadAttieh

enums with repeated values do crazy things

1

Given repeated values in an enum, for example: ``` letting T be new type enum {A,B,A,C} ``` Weird things happen, for example if you declare a function from T to...

ChrisJefferson

Conjure (through SR) supports several backend solvers. These solvers have very creative ways of accepting a seed from the command line. `conjure-solve` should gain a new option and create the...

ozgurakgun

Hi Oz, I'm using `conjure modelling -as` for our classical planning generators, and it seems to take very long time compared to the `-ac` option. I attach here two examples...

ndangtt

new allDiff sequence refinement caused long running cyclic_graph test failure

5

Something is up with exhaustive.mildly_interesting.cyclic_graph. It is failing on azure linux and mac with a what looks like a machine variable numbering issue. It is a long running test which...

fraser-dunlop

regression: <=lex no longer can compare matrix and list

13

As of late 2018, conjure supported specs of the form: ``` given n : int(1..) letting ind be domain int(1..n) find P : matrix indexed by [ind] of bool such...

ott2