@hackage / crucible

Crucible is a library for language-agnostic symbolic simulation

Latest0.9

About

Metadata

  • Last updated , by aschwerdfeger_galois
  • License BSD-3-Clause

  • Maintained by: rscott@galois.com, kquick@galois.com, langston@galois.com

  • Lottery factor: 4

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    unsafe-operations (on by default)

    Use unsafe operations to improve performance

Readme

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.

For an overview of Crucible please have a look at Lang.Crucible.README