ctlsat
is a clone of Nicola Prezza's ctlsat (https://github.com/nicolaprezza/CTLSAT) with a sligtly nicer CMake-based build system.
hriener / ctlsat Goto Github PK
View Code? Open in Web Editor NEWCTLSAT, a decision procedure for CTL
License: MIT License