CBMC
|
File in src/cprover | Includes file in src/solvers |
---|---|
axioms.cpp | decision_procedure.h |
bv_pointers_wide.h | flattening / boolbv.h |
bv_pointers_wide.h | flattening / pointer_logic.h |
counterexample_found.cpp | sat / satcheck.h |
inductiveness.cpp | sat / satcheck.h |
state_encoding_targets.h | smt2 / smt2_conv.h |