Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
Primary LanguageHaskellMIT LicenseMIT
See the test/Main.hs file for an example.
test/Main.hs