clcheck ======= "clcheck" is a RUP checker written by Duckki Oe at the University of Iowa. RUP is a proof format for unsatisfiability proofs of propositional formulas. More info: http://users.soe.ucsc.edu/~avg/ProofChecker/README clcheck uses two-literal watch lists for efficiency as implemented in SAT solvers. Credits: The parser code is written by Aaron Stump while he was at Washington University in St. Louis.