Conjure Cp Conjure Versions Save

What's Changed

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

New Contributors

• @sasha704 made their first contribution in https://github.com/conjure-cp/conjure/pull/565
• @N-J-Martin made their first contribution in https://github.com/conjure-cp/conjure/pull/585
• @hz66-404 made their first contribution in https://github.com/conjure-cp/conjure/pull/595

Full Changelog: https://github.com/conjure-cp/conjure/compare/v2.5.0...v2.5.1

What's Changed

• Parser update by @Maurice-Byrne in https://github.com/conjure-cp/conjure/pull/546
• LSP support by @Maurice-Byrne in https://github.com/conjure-cp/conjure/pull/547

Full Changelog: https://github.com/conjure-cp/conjure/compare/v2.4.1...v2.5.0

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 https://github.com/conjure-cp/conjure/pull/539
• Fix malformed JSON solution file when searching for multiple solutions and finding 0 solutions by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/542
• Simplify docker + pushing to ghcr by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/543
• Using alpine as the base image so we can get smaller images by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/544
• Better json input by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/550
• Better name resolution error by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/552
• fix #522, also clarify text by @ott2 in https://github.com/conjure-cp/conjure/pull/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 https://github.com/conjure-cp/conjure/pull/556

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

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

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.

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.

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.

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.