travitch/crucible

Crucible is a library for symbolic simulation of imperative programs

Haskell