@hackage / crucible

Crucible is a library for language-agnostic symbolic simulation