·
1 commit
to main
since this release
0.1.4 (2024-11-07)
Features
- allow logging of statistics to arbitrary writers (#73) (136e03a)
- introduce inference-nogoods in drcp-format (#98) (e5ae6c2)
- update to drcp-format v0.2.0 (#101) (2f6df0c)
Bug Fixes
- cumulative holes in domain incorrectly used cached profile (#109) (4c86a8b)
- cumulative sequence generation found less profiles than it should + fixing issues with debug propagation (#110) (f17222d)
- use propagate for "<=" constraint + using solution reference from solution rather than solver (#108) (668bd0d)
- wrong profile found for over-interval conflict explanation (#111) (4ba1d50)