|
|
3f549690c1
|
Fix combinatorial explosion on backtracking broken if chains
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-09 16:21:23 +01:00 |
|
|
|
d2e0405033
|
Rename library to nomo
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-07 10:07:47 +01:00 |
|
|
|
67b9c418ac
|
Fixup the testing stuff
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-06 15:09:53 +01:00 |
|
|
|
d3e6410ec0
|
Setup a testing bench
Signed-off-by: Marcel Müller <neikos@neikos.email>
|
2026-03-06 13:56:39 +01:00 |
|
