Ecosyste.ms: Issues

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

GitHub / advancedresearch/debug_sat issues and pull requests

#6 - Added simple example

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#5 - Fixed typos

Pull Request - State: closed - Opened by bvssvni over 4 years ago

#4 - Added support for De Morgan's laws

Pull Request - State: closed - Opened by bvssvni almost 7 years ago

#3 - Fixed bug in `or_false` tactic

Pull Request - State: closed - Opened by bvssvni about 7 years ago

#2 - Fixed evaluation of equality

Pull Request - State: closed - Opened by bvssvni about 7 years ago

#1 - First commit

Pull Request - State: closed - Opened by bvssvni about 7 years ago