Masahiro Sakai's repositories
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.
extended-reals
Extension of real numbers with positive/negative infinities (±∞)
pseudo-boolean
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
bnn-verification
BNN verification dataset for Max-SAT Evaluation 2020
haskell-optdir
The OptDir type for representing optimization directions.
ad-delcont
Reverse-mode automatic differentiation with delimited continuations
haskell-l-bfgs-b
Mirror of Haskell bindings to L-BFGS-B
hmatrix
Linear algebra and numerical computation
lbfgsb
Mirror of L-BFGS-B source packages
logic-TPTP
Import, export etc. for TPTP, a syntax for first-order logic
mingw-w64-liblbfgsb
L-BFGS-B package for MINGW environments
nonlinear-optimization
Various iterative algorithms for optimization of nonlinear functions.
openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
scipy
SciPy library main repository
ShonanArtOfSAT
Schedule for ArtOfSAT
tppmark2020
My attempt to solve TPPmark problem of the 16th Theorem Proving and Provers meeting (TPP 2020).