sschnug Goto Github PK

bazel-remote

A remote cache for Bazel

bazel_scip_soplex

bonmin

This a mirror of the subversion repository on COIN-OR. For bugtracking and wiki, see website.

by_assignment

cvxpy

A Python-embedded modeling language for convex optimization problems.

cylp

A Python interface to CLP, CBC, and CGL to solve LPs and MIPs.

footrule_ranking

(Exact) Footrule rank-aggregation using Linear-Programming with Python

highs

Linear optimization software

highs_basic_tests

Some basic netlib-based tests for [HiGHS](https://github.com/ERGO-Code/HiGHS)

imgui

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

kangaroo

kemeny_ranking

(Exact) Kemeny rank-aggregation using Integer-Programming with Python

kiwi-solver

Kiwi is a minimalist and extendable Constraint Programming (CP) solver.

l1-ls.py

L1 regularized Least Squares minimization problem solver.

libmf_py

Python-wrapper for libmf

maxnormregcollaborativefiltering_sgd

Low-rank Matrix-Factorization with Max-Norm Regularization by Projected Stochastic Gradient Descent

minicpbp

Replacing standard support propagation by belief propagation in MiniCP

minisat

A minimalistic and high-performance SAT solver

myminicp

Our version of miniCP.

nnls_sbb

First-order nonmonotonic sparse nonnegative least-squares

osqp_benchmarks

QP Benchmarks for the OSQP Solver against GUROBI, MOSEK, ECOS and qpOASES

projected-stochastic-gradient-max-norm-matrix-factorization

A (prototype) Projected Stochastic Gradient Max-norm-Matrix-factorization code using C++/Eigen + Python/numpy

pycadical

Simple pybind11-based wrapper for "CaDiCaL"-SAT solver'

pyeda

Python EDA

pylemonflow

Small networkx-feed wrapper for CoinOR's Lemon for Network-simplex based Min-cost-flow

pylinassignment

Proof-of-concept (rectangular) linear-assignment solver wrapping Coin-OR Lemon's Network-Simplex

pymiqp

Mixed Integer Quadratic Programming for Python (using MINLP-solver Bonmin)

pymmmf

Maximum-Margin Matrix Factorization in Python

pysat

A toolkit for SAT-based prototyping in Python

pyvideohash

Perceptual hashing for videos / images