From 2545c47377be39d58eeeeb6655d426d538398133 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Mon, 23 Jun 2025 12:49:01 -0600 Subject: [PATCH] Resolve #27 --- tools/sat-smt/mathsat.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/sat-smt/mathsat.md b/tools/sat-smt/mathsat.md index 3728a15..449107d 100644 --- a/tools/sat-smt/mathsat.md +++ b/tools/sat-smt/mathsat.md @@ -19,4 +19,4 @@ maintenance = ['Actively Maintained'] +++ {{}} -MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. +MathSAT is an SMT solver supporting a wide range of theories (including e.g. equality and uninterpreted functions, linear arithmetic, bit-vectors, and arrays) and functionalities (including e.g. computation of Craig interpolants, extraction of unsatisfiable cores, generation of models and proofs, and the ability of working incrementally). \ No newline at end of file