conjure

conjure copied to clipboard

powerSet is broken

1

Two different models, two different reactions: ``` find s : set(minSize 2) of int(1..10) such that forAll {i,j} in s . i + j = 5 ``` ``` Generating models...

SaadAttieh

I have the following model: ``` $ model.essence given s: sequence (size 5, surjective) of int(1..10) ``` and an Essence param file: ``` $ inst.param letting s be sequence(1,2,3,4,5) ```...

ndangtt

type error when min of empty set under catch undef

5

``` find a : int(1) such that catchUndef(min({}), -1) = -1 such that catchUndef(max({}), -1) = -1 ``` output: ``` Generating models for test2.essence Error 1: In a 'such that'...

SaadAttieh

The following code: ``` letting m be 3 letting S be {3,7} find H : set (size 2) of int(0..m-1) find a : int(8..15) such that H = toSet([(a*x) %...

semihalf-czekaj-maciej

more subsequence glitches

14

(Recording this from email.) The following fails: ``` given m : int(1..) find Cs : sequence (size m) of int(0..m) such that exists Cz : sequence (size m) of int(0..m)...

ott2

Buggy Model for csplib-prob008

4

The model for [csplib-prob008](https://github.com/conjure-cp/EssenceCatalog/blob/1830b756ec473cbd419afcbf3bb57b5f41224f2b/problems/csplib-prob008/VesselLoading.essence#L63) is buggy. It can happen that two containers have the same class in which case the separation function is undefined. As I understand the problem the...

StephanGocht

[larger.param.txt](https://github.com/conjure-cp/conjure/files/3331339/larger.param.txt) [larger.solution.txt](https://github.com/conjure-cp/conjure/files/3331340/larger.solution.txt) [model.essence.txt](https://github.com/conjure-cp/conjure/files/3331341/model.essence.txt)

SaadAttieh

Extend translate-solution to support domain stores.

ozgurakgun

IDE - Type querying for hovers in VSCode Extension

5

We could have a mode: ``` conjure ide --getType model.essence ``` That could return the type of a decision variable within the model: ``` "set of set of int(1..10)" ```

Revilotom

log operator

3

To express graph connectivity of n-vertex graphs using adjacency matrices, we need to compute \log_2 n as one of the dimensions of an auxiliary matrix. Usually n is given as...

ott2