crucible: Crucible is a library for language-agnostic symbolic simulation

[ bsd3, language, library ] [ Propose Tags ]

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.


[Index] [Quick Jump]


Automatic Flags

Use unsafe operations to improve performance


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 0.7
Change log
Dependencies base (>=4.13 && <4.19), bimap, bv-sized (>=1.0.0 && <1.1), containers (>=, exceptions, fgl, hashable, json (>=0.9 && <1.0), lens, mtl, panic (>=0.3), parameterized-utils (>=1.0.8 && <2.2), prettyprinter (>=1.7.0), template-haskell, text, th-abstraction (>=0.1 && <0.6), time (>=1.8 && <2.0), transformers, unordered-containers, vector, what4 (>=0.4) [details]
License BSD-3-Clause
Copyright (c) Galois, Inc 2014-2022
Author Galois Inc.
Category Language
Source repo head: git clone
Uploaded by ryanglscott at 2024-02-05T21:13:44Z
Reverse Dependencies 5 direct, 0 indirect [details]
Downloads 49 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]