A standalone local search solver for general mixed integer programming

Branch-price-and-cut for the vehicle routing problem with time windows

constrained nonlinear optimization for scientific machine learning, UQ, and AI

A lazy clause generation constraint solver written in Rust.

TDTSPTW

This repository contains the code, data and results presented in the paper "A Constraint Programming Approach for Aircraft Disassembly Scheduling" submitted at the conference CPAIOR 2024.

A curated list of awesome OR-Tools community resources.

Proof assistant based on the λΠ-calculus modulo rewriting

lightweight, standalone C++ inference engine for Google's Gemma models.

A toolkit for SAT-based prototyping in Python

Rust bindings for the Python interpreter

CaDiCaL SAT Solver

Implement a ChatGPT-like LLM in PyTorch from scratch, step by step

A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

Differentiable convex optimization layers

Differentiation through cone programs

Cone-Aligned Vector Estimation for End-to-End Binary Linear Programming

Optimisation engine used for solving the optimisation problem introduced in the “predict+optimise” competition, IEEE CIS 3rd Technical Challenge

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

IPASIR 2 Specification and Discussion

A constraint modelling and rewriting library and compiler framework written in rust

SciPy library main repository

A solver based on column generation

Feature extractor for MiniZinc and XCSP models

Python interface for the SCIP Optimization Suite

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

Adaptive Cut Selection in Mixed-Integer Linear Programming