search

ConSol-Lab / Pumpkin

A lazy clause generation constraint solver written in Rust.
Apache License 2.0
17 stars 4 forks source link

chore: release main #92

Closed github-actions[bot] closed 3 weeks ago

github-actions[bot] commented 3 weeks ago

:robot: I have created a release beep boop

pumpkin-solver: 0.1.3 ## [0.1.3](https://github.com/ConSol-Lab/Pumpkin/compare/pumpkin-solver-v0.1.2...pumpkin-solver-v0.1.3) (2024-10-31) ### Features * implement consistency check interface in linear less than propagator ([#87](https://github.com/ConSol-Lab/Pumpkin/issues/87)) ([089a083](https://github.com/ConSol-Lab/Pumpkin/commit/089a083432a064c5eb001e6b78293eac85d0e0f1))

This PR was generated with Release Please. See documentation.