4 Commits

Author	SHA1	Message	Date
Lofty	1dce7895e0	read_xaiger2: remove	2026-08-11 08:56:55 +01:00
Miodrag Milanovic	30ba4328e7	Use system libs when available	2026-07-13 15:26:00 +02:00
Miodrag Milanovic	05c0adae77	Slang frontend integration	2026-07-06 15:49:56 +02: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