5 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	266008e81f	update seq_model draft ... redo seq_model to be compatible with model_generator	2026-05-03 13:57:56 -07:00
CEisenhofer	14f71ea852	Reuse power variables and symbolic characters	2026-03-31 16:36:10 +02:00
CEisenhofer	63830085b6	Delete unsupported testcases	2026-03-22 13:11:08 +01:00
CEisenhofer	a99b93ef1f	Added testcases	2026-03-20 18:40:55 +01:00
Nikolaj Bjorner	520ee1debc	adding files to test	2026-03-05 13:38:06 -08:00