conjure

conjure copied to clipboard

Staris test files

1

The tests files for the STARIS testing. I am still working on making these test files more uniform and neat, but this is the progress so far.

fionakillalea

Bug in tutorial example

2

In the tutorial, [Model 2: reachability matrix](https://conjure.readthedocs.io/en/latest/tutorials.html#model-2-reachability-matrix) seems to have a bug. The example from the tutorial, with maximization added to illustrate issue: ``` $ graph.essence given n : int(1..)...

jokasimr

Bad error messages

1

These are found by @fionakillalea - thanks! > Two areas that resulted in the "This should never happen, sorry!" errors in the program. > > The first occurs with the...

ozgurakgun

Escape more characters in JSON output. Fixes #517

10

#517 Disclaimer: This was implemented entirely using GitHub Codespaces (without sufficient RAM to build the whole project) on my mobile phone during toilet breaks with zero experience in Haskell. Please...

stylpe

Specify which generator is unsupported in error message

1

My model is growing quite large, and so are the errors I get. Try to find what's wrong in this one: https://replit.com/@SuperMikal/Conjure-and-Essence-20220507#feedback/What%20unsupported%20generator/stdout (error output starts at line 1222) There's a...

stylpe

Error: Malformed JSON in a cached Essence Prime model

3

Got this error, and it seems like there's two things wrong with Conjure's output: - `/\` and `\/` have unescaped backslashes. - Conjure actually writes data that doesn't conform to...

stylpe

ghcr.io docker images are always last release (2.3.0)

1

Notice how the ghcr "master" image is the last release of conjure (from 2019). ``` caj/ $ docker run ghcr.io/conjure-cp/conjure:master conjure --version Conjure: The Automated Constraint Modelling Tool Release version...

ChrisJefferson

`sequence` documentation and implementation do not agree

1

Here's two problems I've found while using the `sequence` type that I think might have a common root cause: The documentation says - "Sequences are indexed by a contiguous list...

stylpe

SMT backend confusion

7

In current conjure `Repository version 3fcbbbbab (2021-12-17 13:08:56 +0300)` calling an SMT solver backend other than Boolector fails, because the version of Savile Row which conjure installs always thinks it...

ott2

Azure releases

5

Azure Pipelines seems like a good option to replace travis+appveyor. I just cannot get the Windows build to go through yet, the version of bash they have on that Windows...

ozgurakgun