5 commits

Author	SHA1	Message	Date
Catherine	9b087b4aa7	Migrate build system to CMake ... See #5895 for details. This commit does not include CI or documentation changes.	2026-05-23 03:48:24 +00:00
Gus Smith	b2f9ac4fb5	Check for dimacs nullptr on file creation+fn call	2026-02-06 18:18:03 -08:00
Gus Smith	f062a0c8d6	Typo	2026-02-06 17:26:08 -08:00
Gabriel Gouvine	979b673f20	ezsat: Fix handling of error codes	2026-01-20 07:54:50 -08:00
Gabriel Gouvine	d2b6bd00b1	ezsat: Rename files and class for ezCmdlineSat	2026-01-20 07:54:50 -08:00

Renamed from libs/ezsat/ezcommand.cc (Browse further)