2 Commits
Author SHA1 Message Date
Lofty 1dce7895e0 read_xaiger2: remove 2026-08-11 08:56:55 +01:00
Catherine a727e7f6e7 Migrate build system to CMake
See #5895 for details.

This commit does not include CI or documentation changes.
2026-06-03 08:58:10 +00:00