Probabilistic Satisfiability Solver
(Predicate Logic)
Optimized python shell script implementing an automated satisfiability solver on the principles of the resolution theorem.
Advisor: Thomas Icard
(Predicate Logic)
Optimized python shell script implementing an automated satisfiability solver on the principles of the resolution theorem.
Advisor: Thomas Icard