Geek Repo
followers
following
stars
Company:Carnegie Mellon University
Location:Pittsburgh
Github PK Tool:Github PK Tool
DRAT/DPR proof checker
drat2er: Proof Transformer for Propositional Logic
Resolving Keller's conjecture
CaDiCaL SAT Solver
certified and uncertified checkers for the General ResolutIon Trace format
The DRAT-trim proof checker