ctxform is the bundled package in this repository, which can be executed as a program (./ctxform) in Linux and macOS and as python ctxform everywhere.
Moreover, CTL-SAT binaries for different platforms are provided to facilitate using our tool.
ctxform is the bundled package in this repository, which can be executed as a program (./ctxform) in Linux and macOS and as python ctxform everywhere.
Moreover, CTL-SAT binaries for different platforms are provided to facilitate using our tool.