Conjure: The Automated Constraint Modelling Tool

It has been a while since we made a release. There was a pandemic since the last one, that might have something to do with it.

We do not support Windows natively. Please us WSL and download the linux binaries.

There are two sets of binaries for every operating system. Most users will need the *-with-solvers.zip file, which contains Savile Row and a bunch of supported solver backends in addition to Conjure. Just unzip and place all the files in a directory that's in your $PATH.

Files that doesn't have with-solvers in their name only include the Conjure binary.

All the commits between the two releases can be see here, not sure how useful it will be since the diff is huge.

Here are the release notes auto-generated by GitHub. It mainly includes the PRs.

What's Changed

• Adding code coverage to Azure by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/468
• Adding coin-or and CPLEX by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/472
• change expected output of test by @fraser-dunlop in https://github.com/conjure-cp/conjure/pull/476
• Fix lex issue in #456 by @fraser-dunlop in https://github.com/conjure-cp/conjure/pull/477
• paramgen: change middle/delta to min/max by @ndangtt in https://github.com/conjure-cp/conjure/pull/483
• Remove comment files from JSON output, so the file is a valid stream of JSON objects by @ChrisJefferson in https://github.com/conjure-cp/conjure/pull/492
• Print message to stderr, to make it easier to skip by @ChrisJefferson in https://github.com/conjure-cp/conjure/pull/493
• Proofreading, minor changes by @felixvuo in https://github.com/conjure-cp/conjure/pull/497
• Proofreading, minor tweaks by @felixvuo in https://github.com/conjure-cp/conjure/pull/498
• Docsday by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/496
• New solver build method by @ChrisJefferson in https://github.com/conjure-cp/conjure/pull/499
• Automatically Publish Docker Image to GHCR.io by @ZachNewbery in https://github.com/conjure-cp/conjure/pull/508
• Update docker-publish.yml to include some basic caching by @ZachNewbery in https://github.com/conjure-cp/conjure/pull/518
• correct underlines for stricter RST syntax checking in recent sphinx-doc by @ott2 in https://github.com/conjure-cp/conjure/pull/524
• mention indexing syntax for sequences and tuples by @ott2 in https://github.com/conjure-cp/conjure/pull/525
• update Z3 version, remove implicit dependency on Python 2 for build by @ott2 in https://github.com/conjure-cp/conjure/pull/526
• replace which by command as per POSIX by @ott2 in https://github.com/conjure-cp/conjure/pull/531
• tidy up docs build: reduce warnings by @ott2 in https://github.com/conjure-cp/conjure/pull/527
• upgrade to Sphinx-5.x and document requirements by @ott2 in https://github.com/conjure-cp/conjure/pull/530
• add simple permutations tutorial, lightly edited by @ott2 in https://github.com/conjure-cp/conjure/pull/529
• Escape more characters in JSON output. Fixes #517 by @stylpe in https://github.com/conjure-cp/conjure/pull/519
• Staris test files by @fionakillalea in https://github.com/conjure-cp/conjure/pull/520

New Contributors

• @ndangtt made their first contribution in https://github.com/conjure-cp/conjure/pull/483
• @ChrisJefferson made their first contribution in https://github.com/conjure-cp/conjure/pull/492
• @felixvuo made their first contribution in https://github.com/conjure-cp/conjure/pull/497
• @ZachNewbery made their first contribution in https://github.com/conjure-cp/conjure/pull/508
• @stylpe made their first contribution in https://github.com/conjure-cp/conjure/pull/519
• @fionakillalea made their first contribution in https://github.com/conjure-cp/conjure/pull/520

Full Changelog: https://github.com/conjure-cp/conjure/compare/v2.3.0...v2.4.0