chore: release pumpkin-solver 0.2.0 - Githubissues

ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.

Apache License 2.0

17 stars 4 forks source link

chore: release pumpkin-solver 0.2.0 #106

Closed maartenflippo closed 2 weeks ago

maartenflippo commented 2 weeks ago

:robot: I have created a release beep boop

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)

This PR was generated with Release Please. See documentation.

maartenflippo commented 2 weeks ago

:robot: Created releases:

pumpkin-solver-v0.2.0 :sunflower: