Ecosyste.ms: Issues

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

GitHub / gianlucatruda/sudokusat issues and pull requests

#8 - Refactored codebase, fixed some bugs, generally made things better.

Pull Request - State: closed - Opened by gianlucatruda about 5 years ago

#7 - Added CLI features and Optimised everything!

Pull Request - State: closed - Opened by gianlucatruda about 5 years ago

#6 - Heuristics

Pull Request - State: closed - Opened by gianlucatruda about 5 years ago

#5 - Patched heuristics

Pull Request - State: closed - Opened by gianlucatruda about 5 years ago

#4 - Added performance statistic tracking and persistence (for KPIs)

Pull Request - State: closed - Opened by gianlucatruda about 5 years ago

#3 - Implemented working DPLL SAT solver

Pull Request - State: closed - Opened by gianlucatruda about 5 years ago

#2 - Got DPLL working.

Pull Request - State: closed - Opened by gianlucatruda about 5 years ago

#1 - Added basic skeleton of the codebase.

Pull Request - State: closed - Opened by gianlucatruda about 5 years ago