msakai/z3-proof-visualizer msakai/z3-proof-visualizer

  • Stars
    star
    1
  • Language
    TeX
  • License
    BSD 3-Clause "New...
  • Created about 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
msakai/z3-proof-visualizer
github

msakai

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

toysolver

My sandbox for experimenting with solver algorithms.
Haskell
148
star
2

cpl

An interpreter of Hagino's Categorical Programming Language (CPL).
Haskell
100
star
3

data-interval

Interval datatype, interval arithmetic, and interval-based containers for Haskell
Haskell
20
star
4

haskell-decision-diagrams

Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Haskell
11
star
5

nonlinear-optimization-ad

Several Haskell packages for numerical optimizations.
Haskell
8
star
6

ptq

An implementation of Montague's PTQ (Proper Treatment of Quantification).
Haskell
7
star
7

bytestring-encoding

Haskell
6
star
8

haskell-minisat

Low-level Haskell binding of Minisat
C++
5
star
9

finite-field

Haskell
4
star
10

glpk-maxsat

Max-SAT frontend for GLPK
C++
4
star
11

extended-reals

Extension of real numbers with positive/negative infinities (±∞)
Haskell
4
star
12

chainer-optnet

Python
3
star
13

pseudo-boolean

Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
Haskell
3
star
14

sign

Arithmetic over signs and sets of signs
Haskell
2
star
15

satchmo-toysat

toysat driver as backend for satchmo
Haskell
2
star
16

haskell-hyperset

Haskell
2
star
17

tpp2011

"Uniform Candy Distribution" problem
2
star
18

haskell-optdir

The OptDir type for representing optimization directions.
Haskell
2
star
19

haskell-MIP

Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
Haskell
2
star
20

ltg

TeamSampou's repository for ICFPC2011
Haskell
2
star
21

ersatz-toysat

toysat driver as backend for ersatz
Haskell
2
star
22

haskell-glpk

Haskell wrapper for GLPK (GNU Linear Programming Kit).
Haskell
2
star
23

scip-maxsat

Max-SAT frontend for SCIP
C++
2
star
24

folkung

Personal mirror of http://code.haskell.org/folkung/
Haskell
2
star
25

icfpc2013

Haskell
2
star
26

bnn-verification

TeX
2
star
27

icfpc2012

ICFP Programming Contest 2012 -- Lambda Lifter
Haskell
2
star
28

essence-of-ad

Attempt to code "The Simple Essence of Automatic Differentiation" paper
Haskell
2
star
29

pulp-scip

Python
1
star
30

tmctf2015-qualifier

Trend Micro CTF Asia Pacific & Japan 2015 Online Qualifier
Haskell
1
star
31

glucose-pybind11

C++
1
star
32

vstte2012vc

Java
1
star
33

multiset-large

Haskell
1
star
34

CCG-ja

Combinatory categorial grammar (CCG) of Japanese
1
star
35

icfpc2014

Haskell
1
star
36

rena

Ruby
1
star
37

CNFIO

CNF reader for Haskell
Haskell
1
star
38

cvc3

personal mirror of CVC3
C++
1
star
39

kodkod

Personal mirror of http://alloy.mit.edu/kodkod/
Java
1
star
40

sandbox

Sandbox repository to learn git.
1
star