projects / satcheck.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix apparent bug...
[satcheck.git] / doc / README.txt
2016-12-20 bdemskyFix yield bug commit | commitdiff
2016-12-16 bdemskyupdate debugging information in readme file commit | commitdiff
2016-12-16 bdemskyupdate docs and remove unused option commit | commitdiff
2016-12-16 bdemskyCheck in a README file commit | commitdiff
SATCheck ModelChecker