mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 10:52:02 +00:00
Code Activity

remove unicode from hnf_cutter.h

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2020-07-03 11:26:38 -07:00
parent 7a4eed0216
commit 62b9630c4b
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/lp/hnf_cutter.h
View file

@ -9,7 +9,7 @@ Abstract:
Cuts (branches) from Hermite matrices Cuts (branches) from Hermite matrices
The implementation is based on ideas from The implementation is based on ideas from
"Cutting the Mix" by Jürgen Christ and Jochen Hoenicke. "Cutting the Mix" by Jurgen Christ and Jochen Hoenicke.
Author: Author:
Lev Nachmanson (levnach) Lev Nachmanson (levnach)