msakai/sign

Stars
2
Language
Haskell
License
Other
Created about 11 years ago
Updated over 2 years ago

msakai/sign

msakai

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

Arithmetic over signs and sets of signs

toysolver

My sandbox for experimenting with solver algorithms.

cpl

An interpreter of Hagino's Categorical Programming Language (CPL).

data-interval

Interval datatype, interval arithmetic, and interval-based containers for Haskell

haskell-decision-diagrams

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

nonlinear-optimization-ad

Several Haskell packages for numerical optimizations.

ptq

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

bytestring-encoding

haskell-minisat

Low-level Haskell binding of Minisat

finite-field

glpk-maxsat

Max-SAT frontend for GLPK

extended-reals

Extension of real numbers with positive/negative infinities (±∞)

chainer-optnet

pseudo-boolean

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

satchmo-toysat

toysat driver as backend for satchmo

haskell-hyperset

tpp2011

"Uniform Candy Distribution" problem

haskell-optdir

The OptDir type for representing optimization directions.

haskell-MIP

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

ltg

TeamSampou's repository for ICFPC2011

ersatz-toysat

toysat driver as backend for ersatz

haskell-glpk

Haskell wrapper for GLPK (GNU Linear Programming Kit).

scip-maxsat

Max-SAT frontend for SCIP

folkung

Personal mirror of http://code.haskell.org/folkung/

icfpc2013

bnn-verification

icfpc2012

ICFP Programming Contest 2012 -- Lambda Lifter

essence-of-ad

Attempt to code "The Simple Essence of Automatic Differentiation" paper

pulp-scip

tmctf2015-qualifier

Trend Micro CTF Asia Pacific & Japan 2015 Online Qualifier

glucose-pybind11

vstte2012vc

multiset-large

CCG-ja

Combinatory categorial grammar (CCG) of Japanese

icfpc2014

rena

CNFIO

CNF reader for Haskell

cvc3

personal mirror of CVC3

z3-proof-visualizer

kodkod

Personal mirror of http://alloy.mit.edu/kodkod/

sandbox

Sandbox repository to learn git.