Python interface for the SCIP Optimization Suite

Extensible Combinatorial Optimization Learning Environments

Java interface for the SCIP Optimization Suite

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.

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

Unified Smart Contracts Integration Development Toolkit

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.

Specification of the Smart Contract Invocation Protocol (SCIP)

Minimal SCIP example

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

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

🚀 SICP on Racket

Course planning and Sudoku

SICP exercises and what not

SICP Exersices, Chapter 1,2,3

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

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

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

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).

Détection des paramètres Q,R et S, du battement cardiaque moyen, et la condition cardiaque correspondante.

Constraint Programming using Guile.

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

Discrete Optimization Algorithms