Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mmaroti/cadical-rs issues and pull requests

#6 - added access to CaDiCaL "reserve" function

Pull Request - State: open - Opened by elonca over 1 year ago

#5 - Temporary clause support

Pull Request - State: open - Opened by sirandreww over 1 year ago

#4 - Enable solve with temporary constraint

Pull Request - State: closed - Opened by gipsyh over 1 year ago

#3 - CaDiCal version update?

Issue - State: open - Opened by sirandreww over 1 year ago - 1 comment

#2 - In add_clause(), replace Iterator with IntoIterator…

Pull Request - State: closed - Opened by UncombedCoconut over 1 year ago - 1 comment

#1 - Expose limit API.

Pull Request - State: closed - Opened by gebner over 3 years ago - 3 comments