Search results

MathSAT5 Returns Null for msat_model_create_iterator()

bug

MathSAT

Status: Open.

#481 In sosy-lab/java-smt;

· baierd opened on Apr 28, 2025

Quantifier support for MathSAT

MathSAT

Status: Open.

#274 In sosy-lab/java-smt;

· PhilippWendler opened on Jun 27, 2022

Interpolation SigSev using Mathsat5

MathSAT

solver

Status: Open.

#210 In sosy-lab/java-smt;

· baierd opened on Oct 16, 2020

MathSAT5 with FP does not parse PI again

bug

MathSAT

solver

Status: Open.

#207 In sosy-lab/java-smt;

· kfriedberger opened on Oct 2, 2020

Allow uninterpreted functions with boolean arguments

enhancement

MathSAT

Status: Open.

#157 In sosy-lab/java-smt;

· PhilippWendler opened on Jun 17, 2019

Cleaning up msat_terms, at least optionally

MathSAT

Status: Open.

#39 In sosy-lab/java-smt;

· cheshire opened on Feb 9, 2016