/dpll

Mini-project for COMP60332 - University of Manchester

Primary LanguageOCamlGNU General Public License v2.0GPL-2.0

dpll

Mini-project for COMP60332 - University of Manchester

Actual code is in src/DPLL.java

Extensions added: Activity Heuristics (see README on src/)