Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
See the test/Main.hs file for an example.
test/Main.hs
License:MIT License