chore: release pumpkin-solver 0.1.3

ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.

Apache License 2.0

17 stars 4 forks source link

Closed github-actions[bot] closed 3 weeks ago

github-actions[bot] commented 3 weeks ago

implement consistency check interface in linear less than propagator (#87) (089a083)

This PR was generated with Release Please. See documentation.