scip

scipopt/scip

SCIP - Solving Constraint Integer Programs

ds4dm/ecole

Extensible Combinatorial Optimization Learning Environments

jstrieb/poker-chipper

Optimally allocate poker chips using constrained, nonlinear optimization

scipopt/JSCIPOpt

Java interface for the SCIP Optimization Suite

kalininalab/DataSAIL

DataSAIL is a tool to split datasets while reducing information leakage.

zltshadow/CS61A-2019-summer

CS 61A summer 2019 翻译以及项目代码。

scipopt/PyGCGOpt

Python interface and modeling environment for GCG

sourcegraph/scip-kotlin

SCIP indexer for Kotlin. Implemented as a SemanticDB compiler plugin.

SmilingWayne/PuzzleSolver

50+ solvers for logical puzzles, with 8k+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Solved via SCIP, ortools, z3-solver or Gurobi.

CharJon/GeCO

Generators for Combinatorial Optimization

AlexKressner/OptiDeploy

Template for deploying an optimization model accessible via a web service based on FastAPI, mongodb and celery

surh/scip_barplot

Workshop materials for SFSU SCIP 2022.

davidrjenni/scip-php

SCIP Code Intelligence Protocol (SCIP) indexer for PHP

TIHBS/BlockchainAccessLayer

An extensible abstraction layer that unifies access to permissionless and permissioned blockchain systems and provides an asynchrounous API to its clients focusing on tasks to handle the uncertainty of transaction durability in blockchains.

viktorsapozhok/docker-scip

Docker with the SCIP Optimization Suite + Solving optimization with PySCIPOpt inside the container.

dmitrySorokin/treedqn

pchervi/Graph-Coloring

Python code for graph coloring (vertex coloring) using PySCIPOpt, the Python wrapper from SCIP

AlexKressner/scip_ray

Scaling SCIP with Ray on Azure

chrhansk/ColGen

Column generation notebooks presented during the Workshop on exact methods for large-scale Discrete Optimization in SE2A

ghareeb-falazi/SCIP-CaseStudy-2

A case-study that shows how the Smart Contract Locator (SCL), the Smart Contract Description Language (SCDL), and the Smart Contract Invocation Protocol (SCIP) can be used in combination to support the integration of heterogeneous multi-blockchain setups into client applications.

LeonSering/NashFlowComputation

A GUI-tool for computing Nash flows over time with or without spillback as well as (spillback) thin flows.

tachyons/hind

Hind is a Ruby gem for generating code intelligence data in LSIF (Language Server Index Format) and SCIP (Sourcegraph Code Intelligence Protocol) formats. It helps create index files that power code navigation features like go-to-definition, find references, and hover documentation. Work in progress

clementreiffers/travelling-salesman-problem-using-ortools

travelling salesman problem using ortools

eskinderit/2D-Strip-Packing-Problem

Solving the 2D Strip Packing problem with mutiple optimization techniques.

lampajr/scip

Specification of the Smart Contract Invocation Protocol (SCIP)

BIRSAx2/DiscreteOptimizationDevelopmentContainer

This repository contains a pre-configured development container designed for conducting discrete optimization tasks within Visual Studio Code.

lampajr/toolscip

Unified Smart Contracts Integration Development Toolkit

sanderdw/SCIP

SCIP with threading functionality in Docker (scip.zib.de)

Timeroot/JNA_SCIP

Java bindings for the SCIP optimization library

ytsao/Optimization-models

optimization modeling playground

Lichthagel/scipopt-nix

Nix flake and expressions for tools from the SCIP Optimization Suite.

marcusnk237/QRS-Detector

QRS parameters detection and basic diagnostis

ivannz/ecole

Nodesel dynamics for Extensible Combinatorial Optimization Learning Environments

medoror/scip-exercices

Exercises of Structure and Interpretation of Computer Programs

micaelavera/tp1s2-MyO

Segunda parte del trabajo práctico N°1 de la materia Modelado y Optimización