Lev Nachmanson 4810b4cac2 add a comment in nla_order ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>		2020-11-10 11:12:28 -08:00
..
automata	booyah	2020-07-04 15:56:30 -07:00
dd	fix #4624 #4633 #4632 #4631	2020-08-13 08:36:16 -07:00
grobner	booyah	2020-07-04 15:56:30 -07:00
hilbert	booyah	2020-07-04 15:56:30 -07:00
interval	booyah	2020-07-04 15:56:30 -07:00
lp	add a comment in nla_order	2020-11-10 11:12:28 -08:00
polynomial	pass algebraic manager to arith-plugin mk-numeral because rational check may overwrite the argument using the current manager deals with crash as part of #4532	2020-07-26 17:52:28 -07:00
realclosure	booyah	2020-07-04 15:56:30 -07:00
simplex	booyah	2020-07-04 15:56:30 -07:00
subpaving	booyah	2020-07-04 15:56:30 -07:00