Popularity
5.0
Stable
Activity
0.0
Stable
5
2
3
Monthly Downloads: 5
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 -
nirum
Nirum: IDL compiler and RPC/distributed object framework for microservices -
elm-export
Create Elm types and JSON decoders from Haskell source. -
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 -
aterm-utils
Utility functions for working with aterms as generated by Minitermite -
purescript-tsd-gen
TypeScript Declaration File (.d.ts) generator for PureScript -
ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
WorkOS - The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Promo
workos.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.