Conjure: The Automated Constraint Modelling Tool

What's Changed

• Adding a regression test case for #521 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/605
• Adding ortools by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/603
• Various updates to github actions and Dockerfile by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/604
• Streamlining by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/606
• documentation bits for "letting domain" and --> by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/609
• astjson parsing by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/610
• adding a explicit check for sequence size and surjectivity - fixes #446 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/611
• Documentation for partition operators and intersect by @hz66-404 in https://github.com/conjure-cp/conjure/pull/613
• Notebooks for partition and set operators by @hz66-404 in https://github.com/conjure-cp/conjure/pull/614
• Documentation for matrix domains by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/612
• Fixing links to notebooks by @hz66-404 in https://github.com/conjure-cp/conjure/pull/615
• Using a glob pattern to include all files in docs/bits by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/616
• Use a markdown list by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/617
• Notebook attribute adjustments by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/619
• chuffed version 0.13.0 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/618
• Remove outdated information about supported GHC versions by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/621
• adding Enumerated domains link by using new_type_enum already written by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/623
• Integer domains by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/620
• Fix original tutorials by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/622
• Tuple domains by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/624
• Unnamed types by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/625
• Relation domains by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/627
• Support JSON params for conjure translate-solution by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/632
• Record domains by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/626
• Enumerated type operators documentation by @hz66-404 in https://github.com/conjure-cp/conjure/pull/628
• Sequence domains by @N-J-Martin in https://github.com/conjure-cp/conjure/pull/630
• Function operators by @hz66-404 in https://github.com/conjure-cp/conjure/pull/634
• Sequence operators by @hz66-404 in https://github.com/conjure-cp/conjure/pull/635
• tidying up the lsp documentation loading code by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/631
• or-tools v9.8 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/637
• Fix 639 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/641
• Update SR version to beae8b5f1 (2024-02-15 11:19:11 +0000) -- adding support for or-tools v9.8 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/642
• Fixed or-tools install script by @SeppiaBrilla in https://github.com/conjure-cp/conjure/pull/643
• Update stack-9.4 to use resolver lts-21.25 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/644
• Added minizinc by @SeppiaBrilla in https://github.com/conjure-cp/conjure/pull/645
• stats.json by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/647
• implementing stats.json by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/648
• Add runsolver support by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/653
• adding autoconf to build dependencies by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/658
• adding row and col bucket based streamliners for 2d matrices by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/656
• Stop horizontal sequence rules from being applied to direct references to sequences by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/657
• Update installation.rst by @mocher72 in https://github.com/conjure-cp/conjure/pull/655
• Update URL for minion, SR is relocated by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/661
• Streamliners integer domain partitioning fix by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/660
• Improve support for parsing enums from param.json files by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/665
• Add gitignore template for Essence and Essence Prime by @niklasdewally in https://github.com/conjure-cp/conjure/pull/666
• build: update ubuntu base image version by @vincepick in https://github.com/conjure-cp/conjure/pull/667
• build: updated minizinc version from 2.8.3 to 2.8.5 by @vincepick in https://github.com/conjure-cp/conjure/pull/668
• add installation instuctions for mac by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/677
• code formatting by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/678
• Adding GHC-9.6 and GHC-9.8 support and updating to use the latest ver… by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/680
• fix typo in the installation documentation by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/682
• mention rosetta in the installation documentation by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/683
• fix(docker): install conjure to /opt/conjure not ~/.local/bin by @niklasdewally in https://github.com/conjure-cp/conjure/pull/686
• Add support for downloading stack on arm macs by @ChrisJefferson in https://github.com/conjure-cp/conjure/pull/681
• Updating solvers and fixing a few tests by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/688
• Fix #685 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/687
• Teach Conjure how to convert negations to simple json. Closes #690 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/691
• typo! by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/693
• Support GHC 9.10 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/694
• Flattening Bits files by @JamieASM in https://github.com/conjure-cp/conjure/pull/698
• Bump actions/checkout from 4 to 6 by @dependabot[bot] in https://github.com/conjure-cp/conjure/pull/704
• Bump mozilla-actions/sccache-action from 0.0.4 to 0.0.9 by @dependabot[bot] in https://github.com/conjure-cp/conjure/pull/699
• Bump docker/build-push-action from 5 to 6 by @dependabot[bot] in https://github.com/conjure-cp/conjure/pull/700
• Improve the release workflow and add bdd_minisat_all solver support by @dependabot[bot] in https://github.com/conjure-cp/conjure/pull/702
• Small fixes to the build/release system prior to v2.6.0 by @ozgurakgun in https://github.com/conjure-cp/conjure/pull/706

New Contributors

• @SeppiaBrilla made their first contribution in https://github.com/conjure-cp/conjure/pull/643
• @mocher72 made their first contribution in https://github.com/conjure-cp/conjure/pull/655
• @niklasdewally made their first contribution in https://github.com/conjure-cp/conjure/pull/666
• @vincepick made their first contribution in https://github.com/conjure-cp/conjure/pull/667
• @JamieASM made their first contribution in https://github.com/conjure-cp/conjure/pull/698
• @dependabot[bot] made their first contribution in https://github.com/conjure-cp/conjure/pull/704

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