Installation
Katon is distributed as a single, cross-platform binary built with Rust. It can be installed using Cargo.
Prerequisites
- A recent Rust toolchain
- Z3 (the SMT solver)
Install Katon:
After installation, the katon binary will be available in your PATH.