There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 Haskellhaskell-decision-diagrams
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskellnonlinear-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 Minisatfinite-field
glpk-maxsat
Max-SAT frontend for GLPKextended-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.sign
Arithmetic over signs and sets of signssatchmo-toysat
toysat driver as backend for satchmohaskell-hyperset
tpp2011
"Uniform Candy Distribution" problemhaskell-optdir
The OptDir type for representing optimization directions.haskell-MIP
Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskellltg
TeamSampou's repository for ICFPC2011haskell-glpk
Haskell wrapper for GLPK (GNU Linear Programming Kit).scip-maxsat
Max-SAT frontend for SCIPfolkung
Personal mirror of http://code.haskell.org/folkung/icfpc2013
bnn-verification
icfpc2012
ICFP Programming Contest 2012 -- Lambda Lifteressence-of-ad
Attempt to code "The Simple Essence of Automatic Differentiation" paperpulp-scip
tmctf2015-qualifier
Trend Micro CTF Asia Pacific & Japan 2015 Online Qualifierglucose-pybind11
vstte2012vc
multiset-large
CCG-ja
Combinatory categorial grammar (CCG) of Japaneseicfpc2014
rena
CNFIO
CNF reader for Haskellcvc3
personal mirror of CVC3z3-proof-visualizer
kodkod
Personal mirror of http://alloy.mit.edu/kodkod/sandbox
Sandbox repository to learn git.Love Open Source and this site? Check out how you can help us