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']
 +++
 
 {{<closed-source>}}
-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