MIT licensed · requires .NET and a supported SMT solver
Checked 11 Oct 2026
Back to Boogie Alternatives