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
Version
1.4
License
Maintainers
Platforms
  • x86_64-linux
Defined
Source