Latest release

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.