Link
Search
Menu
Expand
Document
PyCSP
3
Models & Data
GitHub
XCSP
3
About
Documentation
Installation
QuickStart
Cheat Sheet
components
Variables
Constraints
Objectives
Help
Library Interface
Module
CLI
constraints
AllDifferent
AllDifferentMatrix
AllEqual
BinPacking
Cardinality
Channel
Circuit
Count
Cumulative
Decreasing
Element
ElementMatrix
Extension
Increasing
Intension
Knapsack
LexDecreasing
LexIncreasing
MDD
Maximum
Minimum
NValues
NoOverlap
Precedence
Regular
Sum
models
CSP
AllInterval
BIBD
Blackhole
CryptoPuzzle
LabeledDice
Layout
MagicSequence
Nonogram
QuasiGroup
Queens
RectanglePacking
SocialGolfers
SportScheduling
StableMarriage
Subisomorphism
Sudoku
TrafficLights
COP
Amaze
BACP
BoardColoration
CommunityDetection
Diagnosis
FreePizza
GolombRuler
KidneyExchange
Mario
OpenStacks
RCPSP
Rack
SchedulingFS
SteelMillSlab
TravelingTournament
Vellino1
Warehouse
Specifying Data
Combining Constraints
Piloting Solvers
Running Solver
Finding Solutions
Incremental Solving
Extracting Cores
PyCSP3 on GitHub
Library interface
Table of contents
Module
CLI