S

SAT-Solver

Project information

SAT solvers implemented for the lecture SAT Solving of the winter term 2020/2021 at LMU Munich

SAT solver SAT solving CDCL DPLL SAT satisfiability

481 Commits
3 Branches
0 Tags

README
GNU GPLv3

Created on

December 08, 2020

Loading

Imprint - Data Protection Policy