Here we present an implementation of the DPLL algorithm in java. DPLL algorithm being a way of solving satisfiability problems (SAT-problems)
tsopgniduhamel / solving-sat-problems-using-dpll-algorithm Goto Github PK
View Code? Open in Web Editor NEWHere I present an implementation of the DPLL algorithm in java. DPLL algorithm being a way of solving satisfiability problems (SAT-problems)