sschnug

Germany / BW

bazel-remote Public
Forked from buchgr/bazel-remote

A remote cache for Bazel

Go Apache License 2.0 Updated Aug 8, 2022
bazel_SCIP_SOPLEX Public

C++ Updated Nov 5, 2022
Bonmin Public
Forked from coin-or/Bonmin

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

C++ Other Updated Jan 1, 2020
by_assignment Public

Python Updated Apr 15, 2018
cmake_example Public template
Forked from pybind/cmake_example

Example pybind11 module built with a CMake-based build system

Python Other Updated Aug 2, 2024
cvxpy Public
Forked from cvxpy/cvxpy

A Python-embedded modeling language for convex optimization problems.

Python GNU General Public License v3.0 Updated Feb 12, 2018
CyLP Public
Forked from coin-or/CyLP

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

Python Other Updated Nov 30, 2015
footrule_ranking Public

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

Python 2 Updated Jan 22, 2018
HiGHS Public
Forked from ERGO-Code/HiGHS

Linear optimization software

C++ Other Updated Jul 15, 2022
HiGHS_basic_tests Public

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

Python 1 Updated Apr 28, 2018
imgui Public
Forked from ocornut/imgui

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

C++ MIT License Updated Oct 27, 2022
kangaroo Public
Forked from swakkhar/kangaroo

C++ Updated Nov 11, 2015
kemeny_ranking Public

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

Python 12 3 Updated Mar 30, 2020
kiwi-solver Public
Forked from google/kiwi-solver

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

Java Apache License 2.0 Updated Jun 6, 2017
l1-ls.py Public
Forked from Networks-Learning/l1-ls.py

L1 regularized Least Squares minimization problem solver.

Python Updated Oct 12, 2016
libmf_py Public

Python-wrapper for libmf

C++ 1 Updated Mar 27, 2018
MaxNormRegCollaborativeFiltering_SGD Public

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

Python 2 1 Updated Apr 2, 2018
MiniCPBP Public
Forked from PesantGilles/MiniCPBP

Replacing standard support propagation by belief propagation in MiniCP

Java Updated Mar 11, 2020
minisat Public
Forked from niklasso/minisat

A minimalistic and high-performance SAT solver

C++ Other Updated Apr 6, 2019
myMiniCP Public
Forked from victorvicto/myMiniCP

Our version of miniCP.

Java Updated May 23, 2018
nnls_sbb Public

First-order nonmonotonic sparse nonnegative least-squares

Python Updated Feb 21, 2018
osqp_benchmarks Public
Forked from osqp/osqp_benchmarks

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

Python Apache License 2.0 Updated Jan 7, 2018
Projected-Stochastic-Gradient-Max-norm-Matrix-factorization Public

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

C++ Updated Apr 2, 2018
pybind11 Public
Forked from pybind/pybind11

Seamless operability between C++11 and Python

C++ Other Updated Aug 2, 2024
pycadical Public

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

C++ Updated Jan 29, 2018
pyeda Public
Forked from cjdrake/pyeda

Python EDA

Python BSD 2-Clause "Simplified" License Updated Aug 16, 2015
pyLemonFlow Public

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

Python 3 Updated Feb 22, 2018
pylinassignment Public

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

HTML 1 Updated Mar 11, 2018
pyMIQP Public

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

C++ 14 3 Updated Mar 12, 2018
pyMMMF Public

Maximum-Margin Matrix Factorization in Python

Python 7 5 Updated Feb 21, 2016