scip

There are 1 repository under scip topic.

• PySCIPOpt

  scipopt / PySCIPOpt

  Python interface for the SCIP Optimization Suite

  integer-optimizationnonlinear-optimizationmathematical-programmingscippythoncython
  Language:Cython 937

• scipopt / scip

  SCIP - Solving Constraint Integer Programs

  mipinteger-programmingconstraint-programmingminlpminlp-solvermip-solverscip
  Language:C 524

• ds4dm / ecole

  Extensible Combinatorial Optimization Learning Environments

  combinatorial-optimizationgymmarkov-decision-processesmlscip
  Language:C++ 356
• AutoDocs

  TrySita / AutoDocs

  We handle what engineers and IDEs won't: generating and maintaining technical documentation for your codebase, while also providing search with dependency-aware context to help your AI tools understand your codebase and its conventions.

  agentsaiastdockerllmmcpopenaiopensourcescipsdksitatree-sitter
  Language:Python 178
• poker-chipper

  jstrieb / poker-chipper

  Optimally allocate poker chips using constrained, nonlinear optimization

  constraint-programmingconstraint-satisfaction-problemoptimizationpokerscipsvelteweb-applicationweb-assembly
  Language:Svelte 174

• scipopt / JSCIPOpt

  Java interface for the SCIP Optimization Suite

  scipsolverjavaswigminlpinterface
  Language:Java 68

• kalininalab / DataSAIL

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

  dataset-splitmachine-learningoptimizationscipilpilp-problem
  Language:Python 42

• scipopt / PyGCGOpt

  Python interface and modeling environment for GCG

  branch-price-and-cutcythondanzig-wolfe-decompositiongcgmixed-integer-programpythonscip
  Language:Linear Programming 26

• zltshadow / CS61A-2019-summer

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

  scip
  Language:JavaScript 25

• sourcegraph / scip-kotlin

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

  kotlinsourcegraphcompilersemanticdbkotlin-compiler-pluginscip
  Language:Kotlin 23

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

  ortoolspythonsudoku-solvergurobinonogram-solverslitherlink-solverpentominoes-solvernorinori-solverhitori-solvercreek-solverconstraintprogrammingheyawakeshikakuscipz3-solver
  Language:Jupyter Notebook 22

• CharJon / GeCO

  Generators for Combinatorial Optimization

  mathematical-modellingoptimization-problemmathematical-programmingcombinatorial-optimizationscipnetworkxnumpyinteger-programmingbinary-programming
  Language:Python 19

• AlexKressner / OptiDeploy

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

  celeryfastapimathematical-programmingmongodboperations-researchoptimizationscip
  Language:Python 16

• surh / scip_barplot

  Workshop materials for SFSU SCIP 2022.

  rcodeggplot2microbiomescipsfsustanfordtutorialvideovisualizationworkshop
  Language:HTML 15

• davidrjenni / scip-php

  SCIP Code Intelligence Protocol (SCIP) indexer for PHP

  code-intelphpscip
  Language:PHP 12

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

  blockchainrestful-apihyperledger-fabricethereumbitcoinbalintegrationmiddlewarescipjson-rpc
  Language:Java 10

• viktorsapozhok / docker-scip

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

  dockerdocker-composepyscipoptscip
  Language:Python 7

• dmitrySorokin / treedqn

  branch-and-boundcombinatorial-optimizationrltree-structuredqnecolescip
  Language:Python 5

• pchervi / Graph-Coloring

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

  scippyscipoptgraph-coloringcolumn-generationpythontabucolminimum-weighted-independent-set
  Language:Python 5

• AlexKressner / scip_ray

  Scaling SCIP with Ray on Azure

  azuremipoperations-researchoptimizationrayscip
  Language:Python 4

• chrhansk / ColGen

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

  column-generationpyscipoptscip
  Language:Jupyter Notebook 4

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

  scipdockerfabricsupply-chain-managementethereumblockchainssclscdlcase-studydemogatewayblockchain-access-layerbal
  Language:Java 4

• LeonSering / NashFlowComputation

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

  graph-algorithmsmathematical-modelingmixed-integer-programmingnetwork-flow-modeloperations-researchoptimizationpython3sciptraffic-simulationflow-over-timegame-theorynash-equilibriumdynamic-traffic-assignment
  Language:Python 4

• 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

  lsif-indexerrubyscip
  Language:Ruby 4

• ytsao / Optimization-models

  optimization modeling playground

  cplexcppcsharppython3scipcombinatorial-optimizationjuliajump
  Language:C++ 4

• clementreiffers / travelling-salesman-problem-using-ortools

  travelling salesman problem using ortools

  ortoolsroutinglinear-programmingsciptraveling-salesmantravelling-salesman-problemtsptsp-problemtsp-solver
  Language:Python 3
• 2D-Strip-Packing-Problem

  eskinderit / 2D-Strip-Packing-Problem

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

  2dcombinatorialdecisiongurobilinearlpmakingminizincoptimizationor-toolspythonsatscipsmtspvlsiz3
  Language:Jupyter Notebook 3

• lampajr / scip

  Specification of the Smart Contract Invocation Protocol (SCIP)

  smart-contractssmart-contract-invocation-protocolscipprotocol-specificationjson-rpc2
  3

• Shayan1408 / Machine_learning_predicts_laptop_prices

  About This is a project on the laptop store dataset to predict laptop prices. Random Forest and XGBRegressor machine learning models are used.

  flaskjupyter-notebookmachine-learning-projectsnotebook-jupyternumpypandaspipelinepythonrandomforestregressorscipseabornstreamlitwinsorize-valuesxgbregressor
  Language:Jupyter Notebook 3

• BIRSAx2 / DiscreteOptimizationDevelopmentContainer

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

  devcontainerscipsoplex
  Language:Shell 2

• lampajr / toolscip

  Unified Smart Contracts Integration Development Toolkit

  toolkitsclscdlscipjavascript-librarytypescriptoclifcommand-line-tool
  Language:TypeScript 2

• sanderdw / SCIP

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

  compiledockerfilejupiter-notebookpythonscipsolver
  Language:Jupyter Notebook 2

• Timeroot / JNA_SCIP

  Java bindings for the SCIP optimization library

  bindingsinteger-linear-programmingjnaoptimizationscip
  Language:Java 2

• jonathanberthias / cvxpy-translation

  Translate CVXPY problems into Gurobi or SCIP models

  cvxpygurobimathematical-programmingoptimizationscipscipopt
  Language:Python 1

• Lichthagel / scipopt-nix

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

  linear-programmingmipmixed-integer-programmingnixnix-flakescipscipopt
  Language:Nix 1

• marcusnk237 / QRS-Detector

  QRS parameters detection and basic diagnostis

  qrs-detectionqrspyqt5pythonsignal-processingsignalscippandasgui
  Language:Python 1