Support for using "satisfiable" as a property to check, for verifying the result of SMT solvers (fixes #5).
Support for using "satisfiable" as a property to check,
for verifying the result of SMT solvers (fixes #5).

ultimate-pa/benchexec,bjowac/impara-benchexec,IljaZakharov/benchexec,cheshire/benchexec,sosy-lab/benchexec,martin-neuhaeusser/benchexec,michkot/benchexec,sosy-lab/benchexec,michkot/benchexec,ultimate-pa/benchexec,bjowac/impara-benchexec,dbeyer/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,IljaZakharov/benchexec,martin-neuhaeusser/benchexec,bjowac/impara-benchexec,martin-neuhaeusser/benchexec,martin-neuhaeusser/benchexec,IljaZakharov/benchexec,cheshire/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,michkot/benchexec,cheshire/benchexec,dbeyer/benchexec,dbeyer/benchexec,dbeyer/benchexec,IljaZakharov/benchexec