scipopt/PySCIPOpt

Python interface for the SCIP Optimization Suite

Language: JetBrains MPS - Size: 5.89 MB - Last synced: about 18 hours ago - Pushed: about 19 hours ago - Stars: 754 - Forks: 256

Lichthagel/scipopt-nix

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

Language: Nix - Size: 92.8 KB - Last synced: about 19 hours ago - Pushed: 1 day ago - Stars: 0 - Forks: 0

kalininalab/DataSAIL

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

Language: Python - Size: 41.3 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 11 - Forks: 1

CharJon/GeCO

Generators for Combinatorial Optimization

Language: Python - Size: 422 KB - Last synced: 13 days ago - Pushed: about 1 year ago - Stars: 13 - Forks: 3

ytsao/Optimization-models

modeling tutorial

Language: C++ - Size: 318 KB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 2 - Forks: 0

davidrjenni/scip-php

SCIP Code Intelligence Protocol (SCIP) indexer for PHP

Language: PHP - Size: 368 KB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 6 - Forks: 2

ds4dm/ecole

Extensible Combinatorial Optimization Learning Environments

Language: C++ - Size: 2.32 MB - Last synced: 11 days ago - Pushed: about 1 year ago - Stars: 306 - Forks: 67

micheleurbani/albp

A solver for Assembly Line Balancing Problems (ALBP)

Language: Jupyter Notebook - Size: 214 KB - Last synced: 28 days ago - Pushed: 29 days ago - Stars: 0 - Forks: 0

ceciliacsilva/cp-guile

Constraint Programming using Guile.

Language: Scheme - Size: 15.6 KB - Last synced: 30 days ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

lampajr/case-study

A case study that shows how heterogeneous multi-blockchain smart contracts interaction could be integrated in client application using the toolscip development toolkit, which relies on the joint use of Smart Contract Locator (SCL), Smart Contract Description Language (SCDL), and Smart Contract Invocation Protocol (SCIP).

Language: Shell - Size: 38.7 MB - Last synced: 30 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

scipopt/scip

SCIP - Solving Constraint Integer Programs

Language: C - Size: 223 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 337 - Forks: 56

Lyxn/sicp

SICP Exersices, Chapter 1,2,3

Language: Racket - Size: 21.5 KB - Last synced: about 1 month ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

sourcegraph/scip-kotlin

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

Language: Kotlin - Size: 561 KB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 12 - Forks: 7

scipopt/PyGCGOpt

Python interface and modeling environment for GCG

Language: Cython - Size: 1.7 MB - Last synced: 13 days ago - Pushed: 14 days ago - Stars: 12 - Forks: 4

scipopt/JSCIPOpt

Java interface for the SCIP Optimization Suite

Language: C++ - Size: 162 KB - Last synced: 16 days ago - Pushed: about 2 months ago - Stars: 61 - Forks: 35

LeonSering/NashFlowComputation

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

Language: Python - Size: 1.61 MB - Last synced: 17 days ago - Pushed: 3 months ago - Stars: 4 - Forks: 1

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.

Language: Java - Size: 53.1 MB - Last synced: 30 days ago - Pushed: about 1 year ago - Stars: 4 - Forks: 2

ytsao/Machine-Learning-and-Optimization

Projects for using Optimization approaches to solve machine learning related problems

Language: Python - Size: 66.6 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

BIRSAx2/DiscreteOptimizationDevelopmentContainer

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

Language: Shell - Size: 4.88 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 0

dmitrySorokin/treedqn

Language: Python - Size: 18.7 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 2

AlexKressner/OptiDeploy

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

Language: Python - Size: 17.5 MB - Last synced: 7 months ago - Pushed: over 2 years ago - Stars: 14 - Forks: 5

LeorFinkelberg/ZyOpt

Add-in for SCIP solver with support ML, DL, RL methods

Language: Python - Size: 61.5 KB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

lampajr/toolscip 📦

Unified Smart Contracts Integration Development Toolkit

Language: TypeScript - Size: 1.62 MB - Last synced: 19 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

viktorsapozhok/docker-scip

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

Language: Python - Size: 15.6 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 4 - Forks: 3

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.

Language: Java - Size: 14 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 9 - Forks: 3

eskinderit/2D-Strip-Packing-Problem

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

Language: Jupyter Notebook - Size: 10 MB - Last synced: 12 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

zltshadow/CS61A-2019-summer

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

Language: JavaScript - Size: 11.4 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 7 - Forks: 0

c0D3M/Optimization_Problems

Discrete Optimization Algorithms

Language: C++ - Size: 5.08 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 1

Timeroot/JNA_SCIP

Java bindings for the SCIP optimization library

Language: Java - Size: 93.8 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

micaelavera/tp-MyO

Trabajo Práctico de la materia Modelado y Optimización

Language: Python - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

surh/scip_barplot

Workshop materials for SFSU SCIP 2022.

Language: HTML - Size: 7.8 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

ivannz/ecole Fork of ds4dm/ecole

Nodesel dynamics for Extensible Combinatorial Optimization Learning Environments

Language: C++ - Size: 2.31 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

chrhansk/ColGen

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

Language: Jupyter Notebook - Size: 437 KB - Last synced: 12 months ago - Pushed: about 3 years ago - Stars: 3 - Forks: 1

clementreiffers/travelling-salesman-problem-using-ortools

travelling salesman problem using ortools

Language: Python - Size: 95.7 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 4 - Forks: 0

AlexKressner/scip_ray

Scaling SCIP with Ray on Azure

Language: Python - Size: 24.4 KB - Last synced: 11 months ago - Pushed: over 2 years ago - Stars: 3 - Forks: 0

FilippoRanza/graph-coloring

A Branch-and-Price implementation of the graph coloring problem using SCIP

Language: C - Size: 45.9 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

marcusnk237/QRS-Detector

QRS parameters detection and basic diagnostis

Language: Python - Size: 3.5 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

lampajr/scip

Specification of the Smart Contract Invocation Protocol (SCIP)

Size: 2.17 MB - Last synced: 30 days ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

sanderdw/SCIP

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

Language: Jupyter Notebook - Size: 18.5 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 2 - Forks: 1

fsikora/diskgraphtester

Experiment with disk graphs, test conjecture, and draw figures using SCIP

Language: Python - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

ezequielgarcia/sicp

SICP exercises and what not

Language: Scheme - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

codeadict/scip_study

My exercises from MIT's Structure and Interpretation of Computer Programs

Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

mhliu0419/M160_Project2

Course planning and Sudoku

Language: Zimpl - Size: 2.72 MB - Last synced: about 1 month ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0