/z3cat

Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  1. Haskell 100.0%
Switch branches/tags
Nothing to show
Find file
Clone or download

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Download ZIP

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching GitHub Desktop...

If nothing happens, download GitHub Desktop and try again.

Launching Xcode...

If nothing happens, download Xcode and try again.

Launching Visual Studio...

If nothing happens, download the GitHub extension for Visual Studio and try again.

@jwiegley
jwiegley Depend on the latest version of concat
Latest commit e5be3bb Jul 12, 2017
Permalink
Failed to load latest commit information.
Z3 Simplify Z3/Category.hs Jul 12, 2017
test More changes to Z3/Choice.hs Apr 19, 2017
ChangeLog.md First version Apr 18, 2017
LICENSE First version Apr 18, 2017
README.md First version Apr 18, 2017
Setup.hs First version Apr 18, 2017
package.yaml Depend on the latest version of concat Jul 12, 2017
z3cat.cabal Depend on the latest version of concat Jul 12, 2017

README.md

Using Haskell functions with Z3

Instructions

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