Nikolaj Bjorner b6bf299b8b update upolynmial test ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2018-12-17 17:41:50 -08:00
..
automata
euclid
grobner
hilbert
interval
polynomial	update upolynmial test	2018-12-17 17:41:50 -08:00
realclosure	Fix typos.	2018-11-30 22:19:30 +07:00
simplex	mk_coeffs_without was inadvertently copying src.	2018-11-28 20:12:47 +07:00
subpaving