6 Commits

Author	SHA1	Message	Date
Jacques-Henri Jourdan	28369ea1c3	Fix sessions for nightly bench.	2023-10-22 15:49:03 +02:00
BONNOT Paul	2444f6c60a	Remove axiom CompatOrderMult from Int theory of CVCx and Z3 drivers.	2023-09-07 18:05:01 +00:00
Claude Marche	9451890c1f	updated sessions	2023-08-24 16:29:59 +02:00
BONNOT Paul	29c71dbd51	add a meta to mark a symbol as never removed by remove_unused* ... mark some lemmas on division of real as removable if not needed	2023-06-15 15:18:48 +00:00
Xavier Denis	87af5d805b	Initial bulk upgrade of z3	2023-04-13 09:43:18 +00:00
Claude Marche	4ed431a8d3	new python example selection sort	2023-03-08 10:39:55 +01:00