Checkers and converters for (Q)SAT proofs and a btor2 to llvm converter (work in progress)
Primary LanguagePython