Ecosyste.ms: Issues

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

GitHub / phadej/puresat issues and pull requests

#6 - Relax lower bounds on (test) dependencies

Issue - State: closed - Opened by sternenseemann 3 months ago - 1 comment

#5 - Add haddocks

Issue - State: open - Opened by phadej 3 months ago

#4 - Add solving with conflict limit

Issue - State: open - Opened by phadej 3 months ago

#3 - Add solving with assumptions

Issue - State: open - Opened by phadej 3 months ago

#2 - Add test for incremental interface

Issue - State: open - Opened by phadej 3 months ago

#1 - Few fixes

Pull Request - State: closed - Opened by phadej 3 months ago