SAT-tfg is a C++ library to work with Boolean formulae and Pseudo-Boolean optimisation problems.
Primary LanguageC++MIT LicenseMIT