z3-encoding
Version 0.3.0.0 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 <izgzhen@gmail.com>
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Zhen Zhang <izgzhen@gmail.com>
- Package URL
- n/a
- Stability
- n/a