smt-pretty

BSD-3-CLAUSE License

Stars
7
Committers
1
View Code on GitHub
Ecosystems: Haskell

smt-pretty

Prettifier for the models produced by SMT solvers. Specifically, this provides the option to change how floating-point and bitvector values are displayed. For now, the focus is on Z3s output format but Im happy to accept PRs that add support for other solvers.

Badges
Extracted from project README
Travis
Related Projects
hs-to-coq

Convert Haskell source code to Coq source code.

03 Nov 2020 77
pretty

Haskell Pretty-printer library

29 Jun 2011 69
numeric-ode

Haskell numerical ODE solvers

05 Apr 2012 14
smiles

Full support of OpenSMILES specification for Haskell

14 May 2017 6
llvm-tablegen

25 May 2017 2
type-errors

tools for writing better type errors

01 Jul 2019 73
haskell-study-plan

An opinionated list of resources for learning Haskell

28 Sep 2018 867
stylish-haskell

Haskell code prettifier

14 May 2012 967
pretty-ghci

Functionality for beautifying GHCi

22 Jan 2019 20
brainfuck

An optimizing Brainfuck interpreter.

16 Mar 2019 12
language-docker

Haskell Dockerfile parser, pretty-printer and EDSL

12 Dec 2017 36
riscv-isa

Haskell representation of the RISC-V instruction set architecture

08 Dec 2016 6
codex

UI experiments for coda

17 May 2019 65
trifecta

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics...

04 Aug 2011 297
emacs-keys

Haskell package to parse emacs style keybindings

05 Jul 2015 3