conjure

conjure copied to clipboard

JSON for enumerated type

3

``` > conjure pretty --output-format=json essence/5x7-ps1-a13.param Parsing as a parameter file Error: Cannot convert the following to simple JSON: letting vertices be new type enum {loc_2_2, loc_3_2, loc_4_2, loc_2_3, loc_3_3,...

ott2

Crash constructing prefixes of sequences.

4

Hi Oz, Here's a tiny part of a model that constructs a set Valid (intended to be all prefixes of sequences in Subs). Is the issue that you might have...

pwn1

This is similar (but not the same) as #551 . I don't I've submitted this before. I've been using variants to represent optional givens, for example: ``` given neighbourhood_CLUES :...

ChrisJefferson

The following simple spec ``` given vertices new type enum find move : function (total) int(1..1) --> tuple(vertices,vertices) such that move(1) = (min(vertices),min(vertices)) ``` works great with `conjure solve tmp.essence...

ott2

unexpected user error (rule_DomainMinMax.minOfDomain ?)

3

I have a simple spec which: * works fine unparameterised * breaks if changing one letting to a given, and providing that in a param file: `conjure: user error (rule_DomainMinMax.minOfDomain...

ott2

... so Conjure can just count solutions instead of enumerating them.

ozgurakgun

Some notes from code comments: one BinRelAttr_Reflexive = return [essence| forAll &xP : &dom . &rel(&x,&x) |] one BinRelAttr_Irreflexive = return [essence| forAll &xP : &dom . !(&rel(&x,&x)) |] one...

ozgurakgun

Added command line install for wsl including addition of path

mocher72

improve redundant model check for --portfolio

1

normalise quantified variable name before checking for redundancy.

ozgurakgun

ozgurakgun