See the test/Main.hs
file for an example.
abailly / z3cat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jwiegley/z3cat
Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
License: MIT License