TODO for 1.0.3 - Githubissues

shnarazk / mios

A SAT solver written in Haskell.

https://gitlab.com/satisfiability01/mios/

GNU General Public License v3.0

39 stars 3 forks source link

Closed shnarazk closed 8 years ago

shnarazk commented 8 years ago

[x] ~~Implement the following missing functions~~ cancel
- [ ] analyze_removable
- [ ] analyzeFinal
[x] no more pointer; uses only vector of clauses from ClauseVector branch