Binaries

Binaries for Linux, macOS, and Windows x86_64 are available from the links below.

ltlnorm-linux64, ltlnorm-darwin64, and ltlnorm-win64.exe are statically linked with the Spot library, so they can be executed directly without installing Spot. ltlnorm-linux64-dynamic is dynamically linked with Spot, and it may be preferred when Spot is already installed in the system.