conp-solutions/mergesat
configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)
C++NOASSERTION
Stargazers
- alexeyignatievMonash University
- AlexiosX
- arijitshChennai Mathematical Institute
- aweNousaku
- baptistecalmes
- chrjabsUniversity of Helsinki
- conp-solutionsGermany
- Gary-oak-Star
- gglorianHuawei Technologies France
- hriener
- hskun
- jaredsinclair@Banno
- JasonJ2021Zhejiang University
- jbaber
- jevinskieLafayette, Indiana
- liyu0xTarragona,Spain
- lonsing
- lorensipro
- lsorberBelgium
- marekpiotrowUniversity of Wrocław
- mcraveiro@DomainDrivenConsulting
- mhlr
- minalspatilUmeå universitet
- mtve
- nahiyanWindsor, Ontario
- notwaNEET
- NWMonster
- onriv
- oToToT/dev/urandom
- psaikkoFinland
- roveri-marco
- saeednj
- sambacha@manifoldfinance
- sschnugGermany / BW
- sthielePotassco Solutions
- Tc14Hd