Ecosyste.ms: Issues

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

GitHub / niklasso/minisat-haskell-bindings issues and pull requests

#7 - how to set options?

Issue - State: open - Opened by jwaldmann almost 2 years ago

#6 - newSolver creates a simplifying solver - or not?

Issue - State: open - Opened by jwaldmann over 9 years ago - 1 comment

#6 - newSolver creates a simplifying solver - or not?

Issue - State: open - Opened by jwaldmann over 9 years ago - 1 comment

#5 - Problems building

Issue - State: open - Opened by ziggystar over 10 years ago

#4 - Resource constraints

Issue - State: open - Opened by abau over 11 years ago

#3 - Support for MiniSat+?

Issue - State: open - Opened by bordaigorl over 11 years ago - 1 comment

#2 - add withNewSolverAsync

Pull Request - State: closed - Opened by jwaldmann almost 12 years ago - 2 comments

#1 - how to cancel a running solver?

Issue - State: open - Opened by jwaldmann almost 12 years ago - 8 comments