GitHub - jingchaochen/treeRat: Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting

jingchaochen / treeRat Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
core		core
mtl		mtl
utils		utils
build.sh		build.sh
license.txt		license.txt
readme.txt		readme.txt

Repository files navigation

DRAT/DRUP proof checker: treeRat
Authors : Jingchao Chen

treeRat can be built with g++ command:
./build.sh

For running
cd bin 
./treeRat <FORMULA> <PROOF>

For outputting TraceCheck+ dependency graphs
./treeRat <FORMULA> <PROOF> -trace -trace-file=<FILE NAME>

A DIMACS CNF <FORMULA> and DRAT/DRUP <PROOF> are mandatory arguments.