-
-
extended-reals Public
Extension of real numbers with positive/negative infinities (±∞)
-
data-interval Public
Interval datatype, interval arithmetic, and interval-based containers for Haskell
-
printemps Public
Forked from snowberryfield/printempsC++ metaheuristics modeler/solver for general integer optimization problems.
C++ MIT License UpdatedMay 28, 2025 -
-
toysolver Public
My sandbox for experimenting with solver algorithms.
-
MaxSATRegressionSuite Public
Forked from tobipaxe/MaxSATRegressionSuiteTool to test your MaxSAT solver robustness.
Python UpdatedMay 22, 2025 -
haskell-MIP Public
Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
-
-
dobutsu-shogi-master Public
Forked from mame/dobutsu-shogi-masterA perfect player for Dobutsu-Shogi
-
QPLIB-PB Public
Pseudo-boolean optimization problems converted from QPLIB
benchmarks quadratic-programming mixed-integer-programming pseudo-boolean mixed-integer-nonlinear-programmingRuby Creative Commons Attribution 4.0 International UpdatedApr 21, 2025 -
bnn-verification Public
BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024
-
ommx Public
Forked from Jij-Inc/ommxOpen standard for mathematical programming interoperability
Rust Apache License 2.0 UpdatedApr 16, 2025 -
pseudo-boolean Public
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
-
-
-
nonlinear-optimization-ad Public
Several Haskell packages for numerical optimizations.
-
nonlinear-optimization Public
Forked from meteficha/nonlinear-optimizationVarious iterative algorithms for optimization of nonlinear functions.
C GNU General Public License v3.0 UpdatedMar 2, 2025 -
TopcoderSRM_AcceptedCodes Public
Forked from sky58/TopcoderSRM_AcceptedCodesC++ UpdatedMar 2, 2025 -
-
-
pbcomp24-cg Public
My personal mirror of https://bitbucket.org/coreo-group/pbcomp24-cg/
C++ Other UpdatedFeb 24, 2025 -
satchmo-toysat Public
toysat driver as backend for satchmo
-
-
ersatz-toysat Public
toysat driver as backend for ersatz
-
ersatz Public
Forked from ekmett/ersatzA monad for interfacing with external SAT solvers
Haskell Other UpdatedFeb 18, 2025 -
maxsat-evaluations.github.io Public
Forked from maxsat-evaluations/maxsat-evaluations.github.ioWebsite for MaxSAT Evaluations
HTML UpdatedFeb 16, 2025 -
baryonyx Public
Forked from quesnel/baryonyxbinary/integer linear programming solver
C++ MIT License UpdatedFeb 2, 2025 -
Chain-of-Experts Public
Forked from xzymustbexzy/Chain-of-ExpertsOfficial implementation of the paper "Chain-of-Experts: When LLMs Meet Complex Operation Research Problems"
Python UpdatedFeb 2, 2025 -
{{ message }}