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

Draft: Prepare Release 6.0.0

Status: Draft (not ready).

sosy-lab/java-smtnumber 495

#495 In sosy-lab/java-smt;

· baierd opened on Jul 21, 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

Add CVC5 Parsing Support

CVC5

enhancement

Status: Open (in progress).

sosy-lab/java-smtnumber 540

#540 In sosy-lab/java-smt;

· baierd opened on Oct 28, 2025

Re-enable Z3 4.5.0 for better interpolation (continuation of #536)

Z3

Status: Open (in progress).

sosy-lab/java-smtnumber 549

#549 In sosy-lab/java-smt;

· baierd opened on Nov 13, 2025