List of Example Models

The project ships two parallel sets of example models.

Raw API examples

Package: org.maxicp.cp.examples.raw

These examples use MaxiCP’s raw implementation objects directly, giving full control over the CP solver internals. They are the closest to what you write when implementing custom constraints or search heuristics.

Example

Description

CVRPTW

Capacitated Vehicle Routing with Time Windows.

DARP

Dial-A-Ride Problem with ride-time constraints.

InventoryScheduling

Inventory Scheduling.

JobShop

Job-Shop scheduling with noOverlap and Rank search.

MagicSerie

Magic Series.

MagicSquare

Magic Square.

MaxIndependentSet

Maximum Independent Set.

NQueens

N-Queens with first-fail binary search.

NurseScheduling

Nurse Scheduling.

PerfectSquare

Perfect Square.

ProducerConsumer

Producer-consumer scheduling with alwaysIn.

QAP

Quadratic Assignment Problem with LNS.

RCPSP

Resource-Constrained Project Scheduling with cumulative functions and FDS.

SMIC

SMIC.

SMoney

Send More Money.

ShipLoading

Ship Loading.

SportScheduling

Sport Scheduling.

TSP

Traveling Salesman Problem.

TSPTW

Traveling Salesman with Time Windows using a sequence variable.

Modeling API examples

Package: org.maxicp.cp.examples.modeling

These examples use the high-level symbolic modeling API, which is then instantiated into raw CP objects. They are more concise and give access to the full range of MaxiCP features including embarrassingly parallel search.

Example

Description

CuSP

CuSP.

CVRPTW

CVRPTW using the modeling API with insertion-based LNS.

DARPSeqVar

Dial-A-Ride Problem.

Eternity

Eternity II Puzzle.

FlexibleJobShop

Flexible Job-Shop.

JobShop

Job-Shop with the modeling API.

MagicSquare

Magic Square.

NQueens

N-Queens using the ModelDispatcher with parallel EPS variant.

PDPSeqVar

Pickup and Delivery Problem.

PerfectSquare

Perfect Square.

ProducerConsumer

Producer-Consumer.

QAP

Quadratic Assignment Problem.

RCPSP

RCPSP with the modeling API and FDS.

SMIC

SMIC.

ShipLoading

Ship Loading.

SportScheduling

Sport Scheduling.

StableMarriage

Stable Marriage.

Steel

Steel Mill Slab.

TSP

Traveling Salesman Problem.

TSPTW

Traveling Salesman with Time Windows.

We recommend using the modeling API for most use cases: it is more user-friendly, supports model transformations, and enables parallelization out of the box.