Z3 Haskell Bindings

https://github.com/iagoabal/haskell-z3

Z3 Haskell Bindings provide unofficial Haskell bindings for Microsoft's Z3 theorem prover, enabling...

Tokens:6,193
Snippets:34
Trust Score:8.4
License:BSD-3-Clause
Update:3 months ago
Tokens:
Raw