3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00

trigger the build with a comment change

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2024-07-08 11:43:24 -07:00
parent 1da132005a
commit 18b6087b72

View file

@ -7,7 +7,7 @@ Module Name:
Abstract:
Nonlinear arithmetic satisfiability procedure. The procedure is
Nonlinear arithmetic satisfiability procedure. The procedure is
complete for nonlinear real arithmetic, but it also has limited
support for integers.