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