Popularity
5.0
Stable
Activity
0.0
Stable
5
2
3
Monthly Downloads: 0
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.
-
elm-compiler
Compiler for Elm, a functional language for reliable webapps. -
stylish-haskell
Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell] -
haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer -
haskell-tools-ast-fromghc
Developer tools for Haskell -
language-python
A parser for Python 2.x and 3.x written in Haskell -
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types -
elm-export
Create Elm types and JSON decoders from Haskell source. -
nirum
Nirum: IDL compiler and RPC/distributed object framework for microservices -
tal
An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew) -
camfort
Light-weight verification and transformation tools for Fortran -
language-c-quote
C/CUDA/OpenCL/Objective-C quasiquoting library. -
language-ecmascript
Haskell library: ECMAScript parser, pretty-printer and additional tools -
ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine. -
aterm-utils
Utility functions for working with aterms as generated by Minitermite
Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
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 itsinclude
path andlib
path as specified byprefix=
git clone https://github.com/izgzhen/z3-encoding
- Adapt
z3-encoding/stack.yaml
to your specific condition, esp.:extra-include-dirs
extra-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.