crucible
Version 0.7.1 revision 1 uploaded by ryanglscott.
Package meta
- Synopsis
- Crucible is a library for language-agnostic symbolic simulation
- Description
Crucible provides a program representation format based on single-static assignment (SSA) form control flow graphs, and a symbolic simulation engine for executing programs expressed in this format. It also provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, Yices, STP, and dReal.
- Author
- Galois Inc.
- Bug reports
- n/a
- Category
- Language
- Copyright
- (c) Galois, Inc 2014-2022
- Homepage
- n/a
- Maintainer
- rscott@galois.com, kquick@galois.com, langston@galois.com
- Package URL
- n/a
- Stability
- n/a