| Copyright | (c) Iago Abal, 2012 (c) David Castro, 2012 |
|---|---|
| License | BSD3 |
| Maintainer | Iago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com> |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell98 |
Z3.Lang
Description
Deprecated: The Z3.Lang interface will be moved to a dedicated package.