Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sdiehl/haskell-picosat issues and pull requests
#6 - test/Rand.hs:2:1: error: Failed to load interface for ‘RandomCNF’
Issue -
State: closed - Opened by juhp almost 8 years ago
- 4 comments
#5 - Picosat features push/pop sets of clauses as well as solving under assumptions
Pull Request -
State: closed - Opened by malie about 9 years ago
#4 - Bump base for GHC 7.10.1, add Travis for multiple GHC versions
Pull Request -
State: closed - Opened by FranklinChen over 9 years ago
- 2 comments
#3 - picosat fails with stack overflow
Issue -
State: open - Opened by mmaroti over 9 years ago
#2 - Disable rusage on Windows.
Pull Request -
State: closed - Opened by Toxaris over 9 years ago
- 1 comment
#1 - Allowing base 4.7.
Pull Request -
State: closed - Opened by gibiansky about 10 years ago
- 2 comments