cprover

smt2 → sat Relation

File in solvers/smt2Includes file in solvers/sat
smt2_solver.cppsatcheck.h