Popularity

5.0

Stable

Activity

0.0

Stable

Stars 5

Watchers 2

Forks 3

Last Commit

Monthly Downloads: 4

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.

purescript

10.0 3.2 z3-encoding VS purescript

A strongly-typed language that compiles to JavaScript
elm-compiler

10.0 4.0 z3-encoding VS elm-compiler

Compiler for Elm, a functional language for reliable webapps.

CodeRabbit: AI Code Reviews for Developers

Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

Promo coderabbit.ai

cryptol

9.9 9.3 z3-encoding VS cryptol

Cryptol: The Language of Cryptography
liquidhaskell

9.9 9.9 z3-encoding VS liquidhaskell

Liquid Types For Haskell
stylish-haskell

9.9 6.4 z3-encoding VS stylish-haskell

DISCONTINUED. Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]
polysemy

9.9 6.3 z3-encoding VS polysemy

:gemini: higher-order, no-boilerplate monads
brittany

9.8 0.0 z3-encoding VS brittany

haskell source code formatter
ivory

9.8 0.0 z3-encoding VS ivory

The Ivory EDSL
elm-reactor

9.8 0.0 z3-encoding VS elm-reactor

DISCONTINUED. Interactive development tool for Elm programs
elm-server

9.8 0.0 z3-encoding VS elm-server

DISCONTINUED. Server for developing Elm projects
haskell-src-exts

9.7 0.0 z3-encoding VS haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
elm-get

9.7 0.0 z3-encoding VS elm-get

DISCONTINUED. Tool for sharing and using Elm libraries
elm-package

9.7 0.0 z3-encoding VS elm-package

DISCONTINUED. Package manager for Elm libraries
frp-arduino

9.6 0.0 z3-encoding VS frp-arduino

Arduino programming without the hassle of C.
haskell-tools-ast-gen

9.6 0.0 z3-encoding VS haskell-tools-ast-gen

Developer tools for Haskell
haskell-tools-ast-fromghc

9.6 0.0 z3-encoding VS haskell-tools-ast-fromghc

Developer tools for Haskell
haskell-tools-ast

9.6 0.0 z3-encoding VS haskell-tools-ast

Developer tools for Haskell
axel

9.5 3.4 z3-encoding VS axel

Haskell + Lisp
liquid-fixpoint

9.5 9.3 z3-encoding VS liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
language-javascript

9.5 0.0 z3-encoding VS language-javascript

Parser for JavaScript, in Haskell
language-python

9.5 0.0 z3-encoding VS language-python

A parser for Python 2.x and 3.x written in Haskell
elsa

9.4 1.4 z3-encoding VS elsa

Elsa is a lambda calculus evaluator
nirum

9.4 0.0 z3-encoding VS nirum

Nirum: IDL compiler and RPC/distributed object framework for microservices
elm-export

9.4 0.0 z3-encoding VS elm-export

Create Elm types and JSON decoders from Haskell source.
tal

9.3 0.0 z3-encoding VS tal

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
shentong

9.3 0.0 z3-encoding VS shentong

A Haskell implementation of the Shen programming language.
language-java

9.3 0.0 z3-encoding VS language-java

DISCONTINUED. Java parser and printer for haskell
elm-bridge

9.2 4.2 z3-encoding VS elm-bridge

Haskell: Derive Elm types from Haskell types
camfort

9.2 8.2 z3-encoding VS camfort

Light-weight verification and transformation tools for Fortran
hfmt

9.2 0.0 z3-encoding VS hfmt

Format Haskell programs. Inspired by the gofmt utility.
jvm-parser

9.1 3.5 z3-encoding VS jvm-parser

A Haskell parser for JVM bytecode files
type-of-html

9.1 0.0 z3-encoding VS type-of-html

High performance type safe html generation
hgrep

9.1 0.8 z3-encoding VS hgrep

DISCONTINUED. Search Haskell source code from the command line
ghc-justdoit

9.1 0.0 z3-encoding VS ghc-justdoit

A magic typeclass that just does it
peggy

9.1 0.0 z3-encoding VS peggy

The Parser Generator for Haskell
language-rust

9.0 0.0 z3-encoding VS language-rust

Parser and pretty-printer for the Rust language
language-ecmascript

8.9 4.5 z3-encoding VS language-ecmascript

Haskell library: ECMAScript parser, pretty-printer and additional tools
language-c-quote

8.9 3.5 z3-encoding VS language-c-quote

C/CUDA/OpenCL/Objective-C quasiquoting library.
exference

8.9 0.0 z3-encoding VS exference

Haskell tool to generate expressions from types
why3

8.8 0.0 z3-encoding VS why3

Haskell support for the Why3 input format
fortran-src

8.8 8.8 z3-encoding VS fortran-src

Fortran parsing and static analysis infrastructure
formura

8.8 0.0 L3 z3-encoding VS formura

Describe stencil formurae without even translating them
nomyx-library

8.8 4.3 z3-encoding VS nomyx-library

The Nomyx game
imprevu

8.8 4.3 z3-encoding VS imprevu

The Nomyx game
ministg

8.8 0.0 z3-encoding VS ministg

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
aterm-utils

8.7 3.2 z3-encoding VS aterm-utils

Utility functions for working with aterms as generated by Minitermite
haskell-names

8.7 0.0 z3-encoding VS haskell-names

Haskell suite library for name resolution
homplexity

8.7 0.0 z3-encoding VS homplexity

Haskell code complexity and quality measurement
purescript-tsd-gen

8.7 5.5 z3-encoding VS purescript-tsd-gen

TypeScript Declaration File (.d.ts) generator for PureScript
LibClang

8.6 0.0 z3-encoding VS LibClang

Haskell FFI to libclang

* 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?

Add another 'Language' Package

Popular Comparisons

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 its include path and lib path as specified by prefix=
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.

z3-encoding

High-level assertion encoding to Z3 solver

z3-encoding alternatives and similar packages

Popular Comparisons

README

z3-encoding

Features

Usage

Upstream