jwiegley / z3cat

Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations

Using Haskell functions with Z3

Instructions

See the test/Main.hs file for an example.