Commits

Commit history

1. Commits on Oct 15, 2026

   • Add scoped GPI posting controls and fix CBS cache removal (#257)

     Show description for 58298e3
     zayenz

     authored
     58298e3View commit details

     Copy full SHA for 58298e3

     View code at this pointBrowse repository at this point
2. Commits on Oct 13, 2026

   • Add staged inter-distance propagation with variable separation (#247)

     Show description for 456e96d
     zayenz

     authored
     456e96dView commit details

     Copy full SHA for 456e96d

     View code at this pointBrowse repository at this point
3. Commits on Oct 12, 2026

   • Add minimum-distance constraints with single and decomposed propagation (#249)

     Show description for bec9ea9
     zayenz

     authored
     bec9ea9View commit details

     Copy full SHA for bec9ea9

     View code at this pointBrowse repository at this point
4. Commits on Oct 8, 2026

   • Add integer GCD, divisibility, and n-ary product constraints (#240)

     Show description for 6e68e4d
     zayenz

     authored
     6e68e4dView commit details

     Copy full SHA for 6e68e4d

     View code at this pointBrowse repository at this point

   • Support explicit nondeterministic automata in regular constraints

     zayenz

     committed
     540dab1View commit details

     Copy full SHA for 540dab1

     View code at this pointBrowse repository at this point

   • Reduce regular layered graph allocation

     zayenz

     committed
     d8b1f5bView commit details

     Copy full SHA for d8b1f5b

     View code at this pointBrowse repository at this point
5. Commits on Oct 6, 2026

   • Add bounded knapsack-augmented cumulative overload checking (#246)

     Show description for b94715d
     zayenz

     authored
     b94715dView commit details

     Copy full SHA for b94715d

     View code at this pointBrowse repository at this point

   • Allow external adjustment of parallel search workers (PR #233)

     Show description for 852b4ad
     zayenz

     authored
     852b4adView commit details

     Copy full SHA for 852b4ad

     View code at this pointBrowse repository at this point
6. Commits on Aug 9, 2026

   • Modernize Gecode attribution domains

     Show description for a8f57be
     zayenz

     committed
     a8f57beView commit details

     Copy full SHA for a8f57be

     View code at this pointBrowse repository at this point
7. Commits on Jul 15, 2026

   • Classify FlatZinc blackbox documentation statistics

     Show description for 3e0e8ee
     zayenz

     committed
     3e0e8eeView commit details

     Copy full SHA for 3e0e8ee

     View code at this pointBrowse repository at this point
8. Commits on Jul 14, 2026

   • Reject unavailable FlatZinc Gist mode

     zayenz

     committed
     73422e6View commit details

     Copy full SHA for 73422e6

     View code at this pointBrowse repository at this point

   • Preserve Gist mode with statistics

     zayenz

     committed
     a8d3789View commit details

     Copy full SHA for a8d3789

     View code at this pointBrowse repository at this point

   • Preserve float median semantics safely

     zayenz

     committed
     a8fb115View commit details

     Copy full SHA for a8fb115

     View code at this pointBrowse repository at this point

   • Avoid overflow in float interval medians

     zayenz

     committed
     e7df0aeView commit details

     Copy full SHA for e7df0ae

     View code at this pointBrowse repository at this point

   • Fix non-terminating sorted propagation

     zayenz

     committed
     c0f1a8fView commit details

     Copy full SHA for c0f1a8f

     View code at this pointBrowse repository at this point
9. Commits on Jul 13, 2026

   • Complete GCC solution-loss fix

     zayenz

     committed
     372c660View commit details

     Copy full SHA for 372c660

     View code at this pointBrowse repository at this point

   • Fix GCC solution loss during recomputation

     zayenz

     committed
     b1aa4e4View commit details

     Copy full SHA for b1aa4e4

     View code at this pointBrowse repository at this point

   • Remove redundant blackbox instance lock

     zayenz

     committed
     545fa33View commit details

     Copy full SHA for 545fa33

     View code at this pointBrowse repository at this point

   • Use MiniZinc blackbox annotations

     zayenz

     committed
     9dc32d8View commit details

     Copy full SHA for 9dc32d8

     View code at this pointBrowse repository at this point

   • Credit FlatZinc blackbox contributors

     zayenz

     committed
     5169635View commit details

     Copy full SHA for 5169635

     View code at this pointBrowse repository at this point

   • Isolate blackbox process platforms

     zayenz

     committed
     5f27c63View commit details

     Copy full SHA for 5f27c63

     View code at this pointBrowse repository at this point

   • Document FlatZinc blackbox contracts

     zayenz

     committed
     5ff6ba2View commit details

     Copy full SHA for 5ff6ba2

     View code at this pointBrowse repository at this point

   • Refactor FlatZinc blackbox runtime

     zayenz

     committed
     e489455View commit details

     Copy full SHA for e489455

     View code at this pointBrowse repository at this point

   • Add cross-platform blackbox integration coverage

     Show description for eacdd22
     zayenz

     committed
     eacdd22View commit details

     Copy full SHA for eacdd22

     View code at this pointBrowse repository at this point

   • Finalize native blackbox backends

     Show description for 2a4e8ae
     zayenz

     committed
     2a4e8aeView commit details

     Copy full SHA for 2a4e8ae

     View code at this pointBrowse repository at this point

   • Harden POSIX blackbox processes

     Show description for 3e3897b
     zayenz

     committed
     3e3897bView commit details

     Copy full SHA for 3e3897b

     View code at this pointBrowse repository at this point

   • Share blackbox backends across search

     Show description for b3f8ff5
     zayenz

     committed
     b3f8ff5View commit details

     Copy full SHA for b3f8ff5

     View code at this pointBrowse repository at this point

   • Define and validate blackbox contracts

     Show description for 12ac597
     zayenz

     committed
     12ac597View commit details

     Copy full SHA for 12ac597

     View code at this pointBrowse repository at this point

   • Refine blackbox interfaces and backend structure

     Show description for 8e30ab8
     zayenz

     committed
     8e30ab8View commit details

     Copy full SHA for 8e30ab8

     View code at this pointBrowse repository at this point

   • Harden FlatZinc blackbox runtime

     Show description for 4e8213f
     zayenz

     committed
     4e8213fView commit details

     Copy full SHA for 4e8213f

     View code at this pointBrowse repository at this point

   • Add support for the experimental MiniZinc black-box propagator interface

     

     Dekker1

     authored and

     zayenz

     committed
     c49bdbeView commit details

     Copy full SHA for c49bdbe

     View code at this pointBrowse repository at this point
10. Commits on Jul 12, 2026

    • flatzinc: select TupleSet representations automatically

      Show description for 4894eb1
      zayenz

      committed
      4894eb1View commit details

      Copy full SHA for 4894eb1

      View code at this pointBrowse repository at this point

    • int: add selectable TupleSet representations

      Show description for 38dd34f
      zayenz

      committed
      38dd34fView commit details

      Copy full SHA for 38dd34f

      View code at this pointBrowse repository at this point
11. Commits on Jul 11, 2026

    • Make advanced bin-packing propagation the default

      zayenz

      committed
      7ac00afView commit details

      Copy full SHA for 7ac00af

      View code at this pointBrowse repository at this point

    • Add tiered bin-packing propagation levels

      zayenz

      committed
      0c7792eView commit details

      Copy full SHA for 0c7792e

      View code at this pointBrowse repository at this point