Ecosyste.ms: Issues

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

GitHub / timbeurskens/gobdd issues and pull requests

#7 - Function type arithmetic

Issue - State: open - Opened by timbeurskens over 3 years ago
Labels: optimization

#6 - Domain specific language for describing SAT problems

Issue - State: open - Opened by timbeurskens over 3 years ago
Labels: feature

#5 - CDCL optimization

Issue - State: open - Opened by timbeurskens over 3 years ago
Labels: optimization

#4 - Function types

Issue - State: open - Opened by timbeurskens over 3 years ago - 1 comment
Labels: feature

#3 - Numeric types and arithmetic operations

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

#2 - Tseitin transformations

Pull Request - State: closed - Opened by timbeurskens almost 4 years ago