Improvements to the api - Githubissues

enthought / sat-solver

Default Repo description from terraform module

Other

3 stars 1 forks source link

Improvements to the api #2

Closed jvkersch closed 8 years ago

jvkersch commented 9 years ago

[ ] Implement iterator over all solutions;
[ ] Fix variable initializations;
[ ] Accept clauses in simple DIMACS format.

cournape commented 8 years ago

Not relevant anymore