Skip to content

Tags: andreidevo/minisat

Tags

2.2.1

Toggle 2.2.1's commit message
Merge pull request msoos#1 from Robbepop/master

fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a sp…

releases/2.2.0

Toggle releases/2.2.0's commit message
Remove a file that is not used in main branch.

releases/2.0

Toggle releases/2.0's commit message
Import of version 2.0.