Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / flix/buwb issues and pull requests
#6 - Add support for for constants, signatures, sets
Issue -
State: open - Opened by mlutze over 2 years ago
#5 - Option to show steps of SVE
Issue -
State: open - Opened by mlutze over 2 years ago
#4 - Quine-McCluskey Minimization Option
Pull Request -
State: open - Opened by robertkleffner over 2 years ago
- 3 comments
#3 - Add option to use Lowenheim's method on the workbench
Pull Request -
State: closed - Opened by robertkleffner almost 3 years ago
- 13 comments
#2 - Simpler unifiers for equations with fewer variables on one of the sides
Pull Request -
State: open - Opened by robertkleffner almost 3 years ago
- 20 comments
#1 - Variable name ordering affects resulting MGU 'complexity'
Issue -
State: open - Opened by robertkleffner almost 3 years ago
- 5 comments