mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-21 16:16:38 +00:00
Code Activity

trigger the build with a comment change

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2024-07-08 11:43:24 -07:00 committed by Nikolaj Bjorner
parent 0961ebb192
commit baaad3ae94
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/nlsat/nlsat_solver.cpp
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.