Link
Search
Menu
Expand
Document
PyCSP
3
Documentation
Data
GitHub
XCSP
3
About
Documentation
Installation
QuickStart
components
Variables
Constraints
Objectives
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
SubgraphIsomorphism
Sudoku
TrafficLights
COP
Amaze
BACP
BoardColoration
CCMcP
CommunityDetection
Diagnosis
FlowShopScheduling
GolombRuler
Mario
OpenStacks
PizzaVoucher
RCPSP
RackConfiguration
SteelMillSlab
TravelingTournament
Vellino
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