Jakob Rath 4e4b4fdd06 subsumption notes		2022-09-23 16:45:23 +02:00
..
automata	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
bigfix	enable fixed propagation from inequalities	2021-08-14 11:58:19 -07:00
dd	generalize subsumption to non-univariate	2022-08-22 10:46:49 -07:00
grobner	remove stale assertion	2022-07-15 04:03:25 -07:00
hilbert	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
interval	Merge branch 'master' into polysat	2022-07-21 12:56:50 +02:00
lp	Use false instead of 0.	2022-08-01 18:28:07 +03:00
polynomial	fix #6084	2022-06-07 11:29:57 -07:00
polysat	subsumption notes	2022-09-23 16:45:23 +02:00
realclosure	remove '#include <iostream>' from headers and from unneeded places	2022-06-17 14:10:19 +01:00
simplex	sparse_matrix iterators	2022-08-01 18:37:11 +03:00
subpaving	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00