The latest version of z3-encoding is 0.3.0.0-0.
z3-encoding
Version 0.2.1.1 revision 0 uploaded by izgzhen.
Package meta
- Synopsis
- High-level assertion encoding to Z3 solver
- Description
A library targeting at providing high-level, extensible, easy to use Haskell interface to Z3 solver.
- Author
- Zhen Zhang
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- izgzhen@gmail.com
- Package URL
- n/a
- Stability
- n/a