conjure

conjure copied to clipboard

bringing permutation-minimal up to date

2

ozgurakgun

ozgurakgun

Variant domains

1

@hz66-404 another one for you to look through, sorry!

N-J-Martin

Put the following in `test.essence` ``` language Essence 1.0 find x : int(1..10) find y : int(1..10) such that x + y = 8 ``` run: `conjure solve --number-of-solutions=all test.essence`...

ChrisJefferson

Consider the following model: ``` language Essence 1.0 find x : matrix indexed by [int(1..10)] of int(1..10) find m : matrix indexed by [int(1..55)] of int(1..10) such that x =...

ChrisJefferson

Building documentation doesn't work in Python 3.12

3

There isn't really anyything to currently be done about this, I'm mainly reporting it so other people will hopefully waste less time than me :) sphinxcontrib.bibtex (which is used in...

ChrisJefferson

This oddity was observed by Alessio. I recompiled conjure with profiling support and discovered that, for some reason, conjure spends the majority of its time in `Conjure.Language.Name.(==)` when compiling the...

CodingCellist

When executing the `conjure --help` command, the description is duplicated for both the `parameter-generation` and `autoig` options. The repeated description is as follows: ``` Generate an Essence model describing the...

SeppiaBrilla

VSCode extension doesn't work for all Essence keywords

1

The Essence VSCode extension, where you should be able to hover over Essence keywords with your mouse, and the bits page for that keyword , or a link to create...

N-J-Martin

Update the tutorials (notebook versions)

5

3 things need to be done - [ ] Fix colab links - [ ] Update the conjure-notebook version to v0.0.8 - as part of this calls to `conjure_clear` will...

ozgurakgun