Crucible is a library for symbolic simulation of imperative programs
Primary LanguageHaskell
No issues in this repository yet.