Name: minisatp
Owner: Meteor
Description: The Pseudo-Boolean Solver MiniSat+
Created: 2014-11-11 18:54:24.0
Updated: 2014-12-16 02:13:06.0
Pushed: 2014-12-20 08:25:06.0
Size: 323
Language: C++
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
null