AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

An open-source Java library for Constraint Programming

SCIP - Solving Constraint Integer Programs

Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

My public programs and models - mostly combinatorial problems and puzzles

Generic Constraint Development Environment

Assembly super-optimization via constraint solving

Constraint Logic Programming over Integers

Access to all MiniZinc functionality directly from Python

Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).

Constraint Logic Programming over Finite Domains

Optimally allocate poker chips using constrained, nonlinear optimization

Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.

Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP

An Open Source .Net Constraint Programming Solver

ConstraintSolver in Julia: Blog posts ->

Conjure: The Automated Constraint Modelling Tool

Constraint programming in Rust

Hands-on course about linear programming and mathematical optimization.

Solve production scheduling problems with constraint programming in Python.

Exact solutions for two-dimensional bin packing problems by branch-and-cut

A modular Python library for creating, solving, and visualizing job shop scheduling problems.

A Python Library for modeling combinatorial constrained problems

Constraint Satisfaction Problem Solver for Golang

Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.

OpenCASCADE GUI Viewer/Editor

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

DDO a generic and efficient framework for MDD-based optimization.

A Lazy Clause Generation Constraint Programming solver written in Rust.