c-cube/hbmc

Haskell Bounded Model Checker

hbmc: Haskell Bounded Model Checker

./install.sh

hbmc examples/RegExp.hs