Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / emilerolley/coca-project issues and pull requests
#14 - Fix(BruteForce): minor fix and refactoring
Pull Request -
State: closed - Opened by EmileRolley about 3 years ago
Labels: bug, BruteForce
#13 - Fix: refactor and correct the SAT reduction
Pull Request -
State: closed - Opened by EmileRolley about 3 years ago
Labels: bug, SAT-reduction
#12 - Doc: correct the DM2 report
Issue -
State: closed - Opened by EmileRolley about 3 years ago
Labels: documentation
#11 - Fix: the SAT reduction
Issue -
State: closed - Opened by EmileRolley about 3 years ago
Labels: bug, SAT-reduction
#10 - Implementation of BruteForce
Pull Request -
State: closed - Opened by HugoGaquere about 3 years ago
- 1 comment
#9 - Feat first formula
Pull Request -
State: closed - Opened by HugoPasquier about 3 years ago
#8 - Feat: implement main functions and structures used for the reduction + build_phi_5-8
Pull Request -
State: closed - Opened by EmileRolley about 3 years ago
Labels: enhancement, help wanted, SAT-reduction
#7 - Feat: create the variables_s structure and its initalization function
Issue -
State: closed - Opened by EmileRolley about 3 years ago
Labels: enhancement
#6 - Feat: implement three last reduction subformulas
Issue -
State: closed - Opened by EmileRolley about 3 years ago
#5 - Feat: implement three last reduction subformulas
Issue -
State: closed - Opened by EmileRolley about 3 years ago
#4 - Feat: implement three last reduction subformulas
Issue -
State: closed - Opened by EmileRolley about 3 years ago
#3 - Feat: implement three last reduction subformulas
Issue -
State: closed - Opened by EmileRolley about 3 years ago
#2 - Feat: implement three first reduction subformulas
Issue -
State: closed - Opened by EmileRolley about 3 years ago
#1 - Feat: implement the brut force algorithm
Issue -
State: open - Opened by EmileRolley about 3 years ago