List view

Add SolverException for Model and Prover due to MathSAT5/Z3 Model Problem (Including a Sneaky Throw for API not Supporting Changes)

Documentation

MathSAT

Status: Open (in progress).

sosy-lab/java-smtnumber 501

#501 In sosy-lab/java-smt;

· baierd opened on Jul 29, 2025

Add Prover Based ShutdownManager

Status: Open (in progress).

sosy-lab/java-smtnumber 489

#489 In sosy-lab/java-smt;

· baierd opened on May 30, 2025