git.libre-soc.org Git - cvc5.git/history - src/theory/arith/nl/cad/cdcac.h

2020-08-19	Gereon Kremer	(cad solver) Add a partial check method. (#4904)	blob \| commitdiff \| raw
2020-08-16	Gereon Kremer	(cad solver) Use the current model as initial assignmen...	blob \| commitdiff \| raw \| diff to current
2020-08-14	Gereon Kremer	Inspect roots to avoid certain resultants (Algorithm...	blob \| commitdiff \| raw \| diff to current
2020-08-12	Gereon Kremer	Add naive support for integer variables. (#4835)	blob \| commitdiff \| raw \| diff to current
2020-07-30	Gereon Kremer	Cad implementation (#4774)	blob \| commitdiff \| raw \| diff to current
2020-07-30	Gereon Kremer	Adds the interface for the CAD-based arithmetic solver...	blob \| commitdiff \| raw \| diff to current