5 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	70d4f32ffd	port updates from poly/polysat ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2023-12-09 13:00:43 -08:00
Nikolaj Bjorner	1d6616afac	make var-queue a template ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2023-12-05 15:41:35 -08:00
Jakob Rath	d69155b9e9	Shared features from polysat branch (#6567) ... * Allow setting default debug action * Fix dlist and add iterator * Add var_queue iterator * Add some helpers * rational: machine_div2k and pseudo_inverse * Basic support for non-copyable types in map * tbv helpers * pdd updates * Remove duplicate functions gcc doesn't like having both versions	2023-02-03 13:08:47 -08:00
Jakob Rath	e31926d132	var_queue display	2022-08-01 18:37:11 +03:00
Nikolaj Bjorner	a1f484fa35	na	2021-03-19 16:42:45 -07:00