conjure

conjure copied to clipboard

Allow in (or :?) for all quantification

2

At the moment we write forAll x : T, for types, but forAll x in S, for sets. I think it would be easier if we could use 'in' for...

ChrisJefferson

Dealing with floats

10

I have a couple of problems I want to specify with Conjure. Several of them involve floats, either as variable types, or in the context of floating-point division in objective...

dstrueber

This was requested by some people at CP2019 in the context of our instance generation work.

ozgurakgun

merging multiple parameter files

6

In many graph problems there are at least two graphs, a pattern H and a target graph G. Typically the idea is to try an Essence model for all combinations...

ott2

Double definition not detected

2

If you have ``` given n : int(..0) given n : int(1..3,9..) find a : int(-50..50) such that a = n+n ``` with *.param ``` letting n be -5 letting...

jfdm2

Given something like: ``` find design : mset (size 1) of mset (size 1) of int(1..v) find design: set (size b) of set (size k) of int(1..v) ``` Conjure uses...

ChrisJefferson

SR now supports this as well, we should have regression tests in Conjure.

ozgurakgun

[example.zip](https://github.com/conjure-cp/conjure/files/3605789/example.zip) When I run `conjure solve` for the attached model and Essence param file, I get the following error messages: ``` Error: Savile Row stdout: ERROR: Identifier not defined: instance...

ndangtt

Recording CP toolkit in Pure

1

Please consider recording this software (and other components of the CP toolkit) in Pure following the guidelines from https://code4ref.github.io/ (more specifically for Pure - https://code4ref.github.io/pure.html). This will allow us to...

olexandr-konovalov

Cannot index an empty matrix

4

``` letting s be [] find a : int(1..5) such that a = s[1] ``` Conjure output: ``` Generating models for test.essence Generated models: model000001.eprime Saved under: conjure-output Savile Row:...

SaadAttieh