saw-tools

Tools for software verification and analysis

Name

saw-tools

Programs

• abc
• bitwuzla
• boolector
• crux-mir-comp
• cryptol
• cvc4
• cvc5
• saw
• saw-remote-api
• yices
• yices-smt2
• z3
• z3-4.8.14
• z3-4.8.8

Homepage

• https://saw.galois.com

Version

1.4

License

• BSD 3-clause "New" or "Revised" License

Maintainers

• Austin Seipp

Platforms

• x86_64-linux

Defined

Source