v2.5.1

What's Changed

• merge homebrew support by @ott2 in #558
• ensure BIN_DIR is in path, needed for Homebrew formula build: fixes #557 by @ott2 in #569
• Fix regression in how we handle solution copying by @ozgurakgun in #570
• Post merge fixes - dealing with compilation warnings by @ozgurakgun in #568
• Notebook tutorial for Knapsack Problem. by @sasha704 in #565
• Adding the notebook version Knapsack tutorial by @ozgurakgun in #572
• LSP: hover fetches the latest documentation from Github by @ozgurakgun in #573
• Semigroups. Monoids and Groups notebook tutorial. by @sasha704 in #564
• Futoshiki notebook tutorial by @sasha704 in #560
• Nurse rostering by @sasha704 in #566
• Handcrafting Instance Generators notebook tutorial. by @sasha704 in #563
• Simple Permutations notebook tutorial. by @sasha704 in #562
• Add 5 more notebook style tutorials, thanks @sasha704! by @ozgurakgun in #574
• Fix copy solution in subdir by @ozgurakgun in #579
• Improve make solvers by @ozgurakgun in #580
• Adding ghc-9.4 support by @ozgurakgun in #582
• Assorted LSP improvements. by @Maurice-Byrne in #581
• update to LTS 21.12 which comes with GHC 9.4.7 by @ozgurakgun in #584
• added n-fractions notebook by @N-J-Martin in #585
• adding L_Mod.md by @N-J-Martin in #588
• put in division_and_mod_demonstration using colaboratory by @N-J-Martin in #586
• Fixing n-fractions colab links by @N-J-Martin in #587
• imply is non-associative by @ozgurakgun in #591
• Adding the "bits" in the documentation to sphinx by @ozgurakgun in #594
• adding function docs by @N-J-Martin in #593
• create L_bool.md by @hz66-404 in #595
• N j martin fixing links by @N-J-Martin in #596
• adding docs for operators by @N-J-Martin in #598
• Fixed typo from PR #598 and documentation bits for set operators by @N-J-Martin in #599
• Enum in partition by @ozgurakgun in #600
• BIBD notebook tutorial by @sasha704 in #561
• Set up github actions to make a release automatically by @ozgurakgun in #601

New Contributors

• @sasha704 made their first contribution in #565
• @N-J-Martin made their first contribution in #585
• @hz66-404 made their first contribution in #595

Full Changelog: v2.5.0...v2.5.1

v2.5.0

What's Changed

• Parser update by @Maurice-Byrne in #546
• LSP support by @Maurice-Byrne in #547

Full Changelog: v2.4.1...v2.5.0

v2.4.1

A bunch of bugfixes. Most importantly, JSON solutions containing matrices are now parsed back in correctly, when given as parameters. And #556, related to calling SMT solvers.

What's Changed

• Moving our testing to GH actions by @ozgurakgun in #539
• Fix malformed JSON solution file when searching for multiple solutions and finding 0 solutions by @ozgurakgun in #542
• Simplify docker + pushing to ghcr by @ozgurakgun in #543
• Using alpine as the base image so we can get smaller images by @ozgurakgun in #544
• Better json input by @ozgurakgun in #550
• Better name resolution error by @ozgurakgun in #552
• fix #522, also clarify text by @ott2 in #555
• Add an additional command line argument to SR so it does not have to guess which solver to use (fix #505) by @ozgurakgun in #556

Full Changelog: v2.4.0...v2.4.1

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

Summer of 2019

Another summer, another release.

There are a bunch of bug-fixes and performance improvements in this release. Please check this page to see a list of all changes since the previous release.

In this release, for Linux and MacOS, we provide a second zip archive that includes the backend solvers supported by Conjure. These executables are produced by running the make solvers command in the Conjure repository. They are provided for convenience during teaching. For corresponding software licenses please see the solver web pages.

For Windows, please use the Linux binaries with the
Windows Subsystem for Linux.

Download all the executables, put them in a directory in your PATH, and type conjure --help in your terminal!

We also provide Linux binaries that are compiled on an older version of the OS, Ubuntu 16.04. We thank Andrea Balogh for providing these. See file conjure-v2.3.0-linux-ubuntu1604.zip.

Alternatively, you can use Docker. It takes a while since it will compile all of the dependencies, but it should work quite reliable. See this directory for the necessary files.

Summer of 2018

Roughly a year after v2.1.0, here is a new release of Conjure!

There has been several bugfixes, performance improvements and new features in the last year. Please check this page to see a list of all changes since the previous release.

Summer of 2017

This release contains bug fixes, general improvements, and much more comprehensive documentation!

Here is a list of all changes since the previous release.

Some noteworthy changes are the following.

• Bug fix: Handling of aliases (letting statements) (#352, #368)
• Bug fix: Pretty-printing of right-associative operators (#354)
• Bug fix: Refinement of the powerSet operator (#370)
• Improvements to the expression parser. It gives slightly better error messages now, although there is still room for improvement.
• Added a command line argument (--responses). This allows scripting Conjure instead of making modelling choices interactively.
• Added some more "visualisations" to be used in the solution files.
• Improved the MSetExplicitWithRepitition to use fewer decision variables.
• Added some simple implied constraints to do with partition domains.
• Better refinement of allDiff constraints that contain a list comprehension in them. This was tricky since the number of elements in the list may depend on the values of decision variables.
• Improved documentation, thanks to @ott2. The Essence section and the Demonstrations section are particularly helpful to newcomers. We aim to improve the documentation further, but this has been a huge improvement.

Initial release from GitHub

We made various versions of Conjure available in the past, but this is the first release of it on GitHub. Yay!

We intend to use GitHub to release future versions too.