5 Commits

Author	SHA1	Message	Date
sam.hadow	093a887358	variable search optimization	2026-04-27 09:37:36 +02:00
sam.hadow	4386cb72e9	pretty print fix	2026-04-23 09:38:26 +02:00
sam.hadow	827b533991	pretty print change	2026-04-23 09:33:45 +02:00
sam.hadow	501aa1043c	switch to BooleanPolynomialRing	2026-04-20 14:19:24 +02:00
sam.hadow	587e5683e1	modelization + pretty print	2026-04-20 13:59:42 +02:00