cprover

accelerate → solvers Relation

File in goto-instrument/accelerateIncludes file in solvers
scratch_program.cppdecision_procedure.h
scratch_program.hflattening / bv_pointers.h
scratch_program.hsat / satcheck.h
scratch_program.hsmt2 / smt2_dec.h