0.2
Closed Apr 27, 2016
100% complete
The goal is to make the SAT solver "production ready":
- Remove the dependency on enstaller
- Better error message
- Can be reliably used as a replacement for our current solver
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.