You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
d51bb82490
Create LICENSE |
1 year ago | |
---|---|---|
.gitignore | 1 year ago | |
CMakeLists.txt | 1 year ago | |
LICENSE | 1 year ago | |
README.md | 1 year ago | |
sathelper.cpp | 1 year ago | |
sathelper.h | 1 year ago |
README.md
sathelper
This is a c++ implementation of biotomas' SatHelper.
As the original, it aims to improve the Boolean SAT (MaxSAT not yet implemented) users life.
It is intended to be used as library.