6 Commits

Author	SHA1	Message	Date
sam.hadow	965c877c28	BP fix	2026-04-20 17:44:53 +02:00
sam.hadow	4686153a66	use F31 F32	2026-04-20 16:06:24 +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
sam.hadow	c0a31606de	run script	2026-04-20 12:08:51 +02:00
sam.hadow	b39a1d3780	start modelization	2026-04-20 09:54:36 +02:00