Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 5a3ea41a03 CLI changes main sam.hadow 2026-04-27 13:13:22 +02:00
• 43759e720b cli change sam.hadow 2026-04-27 09:41:53 +02:00
• 093a887358 variable search optimization sam.hadow 2026-04-27 09:37:36 +02:00
• a6d4647105 variable change exhaustive search sam.hadow 2026-04-23 14:53:31 +02:00
• 4386cb72e9 pretty print fix sam.hadow 2026-04-23 09:38:26 +02:00
• 827b533991 pretty print change sam.hadow 2026-04-23 09:33:45 +02:00
• be23eb3bcc cli change sam.hadow 2026-04-23 09:16:49 +02:00
• 4b8c564027 stronger abstraction sam.hadow 2026-04-21 16:52:57 +02:00
• 0e1c67b7aa abstract pool sam.hadow 2026-04-21 16:36:13 +02:00
• e5dcb7fe32 print changes sam.hadow 2026-04-21 14:59:41 +02:00
• ec7764afc3 step print fix sam.hadow 2026-04-21 14:46:44 +02:00
• 6920dc9389 cli sam.hadow 2026-04-21 14:44:35 +02:00
• 4d5dfbfef4 symbolic abstraction sam.hadow 2026-04-21 12:18:55 +02:00
• 965c877c28 BP fix sam.hadow 2026-04-20 17:44:53 +02:00
• 7aa463e80f README update sam.hadow 2026-04-20 16:46:53 +02:00
• 4686153a66 use F31 F32 sam.hadow 2026-04-20 16:06:24 +02:00
• 501aa1043c switch to BooleanPolynomialRing sam.hadow 2026-04-20 14:19:24 +02:00
• 587e5683e1 modelization + pretty print sam.hadow 2026-04-20 13:59:42 +02:00
• c0a31606de run script sam.hadow 2026-04-20 12:08:51 +02:00
• b39a1d3780 start modelization sam.hadow 2026-04-20 09:54:36 +02:00
• 108d600235 README update sam.hadow 2026-04-16 16:39:12 +02:00
• 03cbff5e83 add license and readme sam.hadow 2026-04-16 16:30:39 +02:00
• f4f875ecde initial commit sam.hadow 2026-04-16 16:29:49 +02:00