msakai/haskell-minisat msakai/haskell-minisat

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    C++
  • License
    Other
  • Created over 13 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
msakai/haskell-minisat
github

msakai

Reviews

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

Repository Details

Low-level Haskell binding of Minisat

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

finite-field

Haskell
4
star
9

glpk-maxsat

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

extended-reals

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

chainer-optnet

Python
3
star
12

pseudo-boolean

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

sign

Arithmetic over signs and sets of signs
Haskell
2
star
14

satchmo-toysat

toysat driver as backend for satchmo
Haskell
2
star
15

haskell-hyperset

Haskell
2
star
16

tpp2011

"Uniform Candy Distribution" problem
2
star
17

haskell-optdir

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

haskell-MIP

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

ltg

TeamSampou's repository for ICFPC2011
Haskell
2
star
20

ersatz-toysat

toysat driver as backend for ersatz
Haskell
2
star
21

haskell-glpk

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

scip-maxsat

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

folkung

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

icfpc2013

Haskell
2
star
25

bnn-verification

TeX
2
star
26

icfpc2012

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

essence-of-ad

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

pulp-scip

Python
1
star
29

tmctf2015-qualifier

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

glucose-pybind11

C++
1
star
31

vstte2012vc

Java
1
star
32

multiset-large

Haskell
1
star
33

CCG-ja

Combinatory categorial grammar (CCG) of Japanese
1
star
34

icfpc2014

Haskell
1
star
35

rena

Ruby
1
star
36

CNFIO

CNF reader for Haskell
Haskell
1
star
37

cvc3

personal mirror of CVC3
C++
1
star
38

z3-proof-visualizer

TeX
1
star
39

kodkod

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

sandbox

Sandbox repository to learn git.
1
star