Python interface for the SCIP Optimization Suite

SCIP - Solving Constraint Integer Programs

Extensible Combinatorial Optimization Learning Environments

Optimally allocate poker chips using constrained, nonlinear optimization

We handle what AI editors won't: generating and maintaining documentation for your codebase, while also providing search with dependency-aware context that helps your tools understand your codebase and its conventions.

Java interface for the SCIP Optimization Suite

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

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

Python interface and modeling environment for GCG

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

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.

Generators for Combinatorial Optimization

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

Workshop materials for SFSU SCIP 2022.

SCIP Code Intelligence Protocol (SCIP) indexer for PHP

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.

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

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

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