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

Use Solver Native Implementation of Bitvector to IEEE FP for CVC4 and CVC5

CVC4

CVC5

enhancement

Status: Open (in progress).

sosy-lab/java-smtnumber 514

#514 In sosy-lab/java-smt;

· baierd opened on Sep 2, 2025