Ezibenroc/satsolver
A program allowing to solve SAT problem and a SMT problem using several heuristics.
Stars: 2Language: C++
Give AlbumentationsX a star on GitHub — it powers this leaderboard
Star on GitHubA program allowing to solve SAT problem and a SMT problem using several heuristics.