davidrjenni/scip-php

SCIP Code Intelligence Protocol (SCIP) indexer for PHP

Language: PHP - Size: 645 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 10 - Forks: 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.

Language: Jupyter Notebook - Size: 1.62 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

scipopt/scip

SCIP - Solving Constraint Integer Programs

Language: C - Size: 223 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 443 - Forks: 73

scipopt/PySCIPOpt

Python interface for the SCIP Optimization Suite

Language: Cython - Size: 6.46 MB - Last synced at: 8 days ago - Pushed at: 24 days ago - Stars: 865 - Forks: 261

sourcegraph/scip-kotlin

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

Language: Kotlin - Size: 565 KB - Last synced at: 6 days ago - Pushed at: 10 days ago - Stars: 18 - Forks: 14

ds4dm/ecole

Extensible Combinatorial Optimization Learning Environments

Language: C++ - Size: 2.32 MB - Last synced at: 12 days ago - Pushed at: about 2 years ago - Stars: 339 - Forks: 72

SmilingWayne/PuzzleSolver

50+ solvers for logical puzzles, with 8000+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Mainly solved via Solvers like ortools, z3-solver and SCIP.

Language: Jupyter Notebook - Size: 27.4 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 14 - Forks: 1

scipopt/JSCIPOpt

Java interface for the SCIP Optimization Suite

Language: C++ - Size: 167 KB - Last synced at: 15 days ago - Pushed at: 6 months ago - Stars: 64 - Forks: 36

kalininalab/DataSAIL

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

Language: Python - Size: 43.2 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 20 - Forks: 1

scipopt/PyGCGOpt

Python interface and modeling environment for GCG

Language: Cython - Size: 22 MB - Last synced at: 22 days ago - Pushed at: 2 months ago - Stars: 19 - Forks: 5

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

Language: Ruby - Size: 89.8 KB - Last synced at: 14 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

lampajr/scip

Specification of the Smart Contract Invocation Protocol (SCIP)

Size: 2.17 MB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

jstrieb/poker-chipper

Optimally allocate poker chips using constrained, nonlinear optimization

Language: Svelte - Size: 14.4 MB - Last synced at: 16 days ago - Pushed at: 4 months ago - Stars: 173 - Forks: 4

ytsao/Optimization-models

optimization modeling playground

Language: C++ - Size: 436 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0

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: 50.6 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 10 - Forks: 5

Lichthagel/scipopt-nix

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

Language: Nix - Size: 88.9 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

CharJon/GeCO

Generators for Combinatorial Optimization

Language: Python - Size: 422 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 14 - Forks: 4

clementreiffers/travelling-salesman-problem-using-ortools

travelling salesman problem using ortools

Language: Python - Size: 95.7 KB - Last synced at: 17 days ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 0

micheleurbani/albp

A solver for Assembly Line Balancing Problems (ALBP)

Language: Jupyter Notebook - Size: 214 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

ceciliacsilva/cp-guile

Constraint Programming using Guile.

Language: Scheme - Size: 15.6 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

Lyxn/sicp

SICP Exersices, Chapter 1,2,3

Language: Racket - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

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 at: 12 months ago - Pushed at: about 1 year 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 at: about 1 year ago - Pushed at: about 2 years 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 at: over 1 year ago - Pushed at: over 1 year 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 at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

dmitrySorokin/treedqn

Language: Python - Size: 18.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year 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 at: over 1 year ago - Pushed at: over 3 years ago - Stars: 14 - Forks: 5

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 at: 4 days ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 2

LeorFinkelberg/ZyOpt

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

Language: Python - Size: 61.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

lampajr/toolscip 📦

Unified Smart Contracts Integration Development Toolkit

Language: TypeScript - Size: 1.62 MB - Last synced at: 7 days ago - Pushed at: over 2 years 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 at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 4 - 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 at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

zltshadow/CS61A-2019-summer

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

Language: JavaScript - Size: 11.4 MB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 0

c0D3M/Optimization_Problems

Discrete Optimization Algorithms

Language: C++ - Size: 5.08 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

Timeroot/JNA_SCIP

Java bindings for the SCIP optimization library

Language: Java - Size: 93.8 KB - Last synced at: about 2 years ago - Pushed at: over 2 years 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 at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

surh/scip_barplot

Workshop materials for SFSU SCIP 2022.

Language: HTML - Size: 7.8 MB - Last synced at: about 2 years ago - Pushed at: almost 3 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 at: 4 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1

AlexKressner/scip_ray

Scaling SCIP with Ray on Azure

Language: Python - Size: 24.4 KB - Last synced at: almost 2 years ago - Pushed at: about 3 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 at: 6 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

marcusnk237/QRS-Detector

QRS parameters detection and basic diagnostis

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

sanderdw/SCIP

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

Language: Jupyter Notebook - Size: 18.5 MB - Last synced at: 10 months ago - Pushed at: about 6 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 at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ezequielgarcia/sicp

SICP exercises and what not

Language: Scheme - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 4 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 at: about 1 month ago - Pushed at: about 5 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 at: 9 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

mhliu0419/M160_Project2

Course planning and Sudoku

Language: Zimpl - Size: 2.72 MB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0