3 Commits

Include renames

Author	SHA1	Message	Date
dualfroz	14cd727d4a	test: add cardinality, xor, proof, and incremental tests	2026-08-28 19:15:00 +02:00
dualfroz	cca8377dfb	test: add cdcl, encoder, and difference logic tests	2026-08-28 15:50:00 +02:00
dualfroz	ccaa52b887	test: add solver, formula, and dimacs tests	2026-08-28 12:25:00 +02:00