Commit Graph

4 Commits

Author SHA1 Message Date
nella 0e56ca02ed Make opt_dff -sat conflict with -keepdc. 2026-07-06 13:47:10 +02:00
nella 68df0be7d2 Remove eqbits flag. 2026-05-25 14:16:55 +02:00
nella 04a1611346 Tests. 2026-05-20 16:44:52 +02:00
nella d85e3f10de Add tests. 2026-05-20 16:44:52 +02:00