Name: pbsolver
Owner: Meteor
Description: Pseudo-boolean solver using MiniSat+
Created: 2014-12-09 22:35:35.0
Updated: 2016-07-23 21:53:28.0
Pushed: 2014-12-16 02:14:31.0
Homepage: null
Size: 360
Language: JavaScript
GitHub Committers
User | Most Recent Commit | # Commits |
---|
Other Committers
User | Most Recent Commit | # Commits |
---|
Pseudo-boolean solver using MiniSat+