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.

A Java implemented Texas holdem and short deck Solver

An open-source Java library for Constraint Programming

Apache Commons Math

oj! Algorithms

OpenNARS for Research 3.0+

OptaPlanner quick starts for AI optimization: many use cases shown in many different technologies.

JavaSMT - Unified Java API for SMT solvers.

WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)

Hodoku is a solver/generator/trainer/analyzer for standard sudoku.

AR Sudoku grabber and solver using JavaCV, JavaFX and Scala

Java interface for the SCIP Optimization Suite

A lazy-grounding Answer-Set Programming system

Auto Shift Planner is a user-friendly desktop application that can design detailed employees shift schedules and solve them automatically while meeting the maximum satisfaction of constraints.

Kiwi is a minimalist and extendable Constraint Programming (CP) solver.

Soluzione software per la risoluzione degli esercizi sulle reti. Identifica il tipo di IP, verifica se due IP sono della stessa rete, effettua la FLSM e la VLSM

xflp is a heuristic solver for container loading problems in 3D with real world constraints

DriftingDroids - yet another Ricochet Robots solver program

Timefold Solver is an AI constraint solver for Python to optimize the Vehicle Routing Problem, Employee Rostering, Maintenance Scheduling, Task Assignment, School Timetabling, Cloud Optimization, Conference Scheduling, Job Shop Scheduling, Bin Packing and many more planning problems.