Popularity
5.0
Stable
Activity
0.0
Stable
5
2
3
Monthly Downloads: 3
Programming language: Haskell
License: MIT License
Tags:
Language
z3-encoding alternatives and similar packages
Based on the "Language" category.
Alternatively, view z3-encoding alternatives based on common mentions on social networks and blogs.
-
-
-
-
-
-
stylish-haskell
DISCONTINUED. Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell] -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine. -
-
InfluxDB - Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
Promo
www.influxdata.com
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.
Do you think we are missing an alternative of z3-encoding or a related project?
README
z3-encoding
Assertion language embedded in Haskell, based on Z3 solver.
Features
- [x] Primitive types: boolean, integer, double precision float number
- [x] Complex types: set, map, ADT
- [x] Logic primitives and connectives: true, false, conjunction, disjunction, negation, implication
- [x] Logic qualifiers: universal, existential
- [x] Assertions for primitive types: equality, less than
- [x] Assertions for complex types: membership testing
- [ ] Extensible function
- [ ] Extensible assertion
- [x] Static type safety
Usage
- Install
z3, noting itsincludepath andlibpath as specified byprefix= git clone https://github.com/izgzhen/z3-encoding- Adapt
z3-encoding/stack.yamlto your specific condition, esp.:extra-include-dirsextra-lib-dirs
Upstream
Currently, it supports z3 v4.4.1, through a low-level Haskell library z3-haskell.
Also, current version of this package supports the GHC v8.0.1.