Giters

ptflores1 / DPLL

DPLL Sat solver using Unit Propagation and Pure Literal Elimination for an assignment of Logic for Computer Science course. HEAVILY based on https://github.com/marcmelis/dpll-sat

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

DPLL

About

DPLL Sat solver using Unit Propagation and Pure Literal Elimination for an assignment of Logic for Computer Science course. HEAVILY based on https://github.com/marcmelis/dpll-sat

Languages

Language:Python 100.0%