conjure

conjure copied to clipboard

Add support for substring and subsequence quantifiers

2

SaadAttieh

speeding up composition of statically defined functions

2

It is often convenient to describe transformations in terms of functions, especially when dealing with several transformations that can be written as compositions of more basic ones. Currently, Conjure turns...

ott2

Weird inefficient constraint

1

The cvrpAsSet.essence model (a slightly squashed one version given at the bottom), contains the following weird constraints: ``` and([q10 and([q1 q1 - 1

ChrisJefferson

Essence is a fragment of relational second-order logic. All logics have a syntax for defining predicates, so that more complex expressions can be expressed succinctly in terms of predicates, with...

ott2

the fate of hist

1

Originally reported by: **Özgür Akgün (Bitbucket: [ozgurakgun](https://bitbucket.org/ozgurakgun), GitHub: [ozgurakgun](https://github.com/ozgurakgun))** --- I want it gone. It doesn't seem to add anything over freq, nobody ever used it, is a bit of...

ozgurakgun

image(f,S) for set S

1

According to the Constraints 2008 paper defining Essence, `image(f,S)` should (p.289, lines 7–9) be a valid way to specify the set {f(s) | s in S}.

ott2

This was requested by @ott2. The change is to make the following work when s is a collection of sets. - union(s) - intersect(s)

ozgurakgun

If I pass "--solutions-in-one-file", a file called `model00001-.solutions` gets created in the conjure-output directory, but it doesn't get copied out. The same problem occurs with `--output-format=json`, once again the file...

ChrisJefferson

Conjure produce bad answers if same param file is reused

4

I was getting some incorrect answers from conjure, and I think I've figured out why -- I have 3 files in a directory (attached), a.essence, b.essence and c.param. These files...

ChrisJefferson

Cannot compile conjure on Apple Silicon

3

``` Saads-MacBook-Air:conjure saadattieh$ git checkout master Already on 'master' Your branch is up to date with 'origin/master'. giSaads-MacBook-Air:conjure saadattieh$ git pull Already up to date. Saads-MacBook-Air:conjure saadattieh$ make Using GHC...

SaadAttieh