Skip to content

Julia Constraints

Main Navigation Home

Part 1: Basics

Introduction

Part 2: Advanced

Variables and Domains

Constraints

Basics

Generic Constraints

Language Constraints

Comparison Constraints

Counting and Summing Constraints

Connection Constraints

Packing and Scheduling Constraints

Graph Constraints

Elementary Constraints

Internals

CompositionalNetworks.jl

About ICNs

Layers

Transformations Layer

QUBOConstraints.jl

ConstraintsTranslator.jl

ConstraintLearning.jl

Introduction

JuMPed

CBLS.jl

ConstraintExplorer.jl

Other interfaces

LocalSearchSolvers.jl

Meta Solvers

Appearance

Sidebar Navigation

Home

Constraint Programming

Part 1: Basics

Introduction

CP 101

Optimization(s)?

Getting Started

Ecosystem

Part 2: Advanced

CP Techniques

Applications

Models

Tutorials&XP

Contributing

Modeling Toolkit

Introduction

Variables and Domains

Constraints

Basics

Generic Constraints

Language Constraints

Comparison Constraints

Counting and Summing Constraints

Connection Constraints

Packing and Scheduling Constraints

Graph Constraints

Elementary Constraints

Model Catalog

Internals

ConstraintCommons.jl

PatternFolds.jl

ConstraintDomains.jl

Constraints.jl

Learning

Introduction

CompositionalNetworks.jl

About ICNs

Layers

Transformations Layer

Arithmetic Layer

Aggregation Layer

Comparison Layer

QUBOConstraints.jl

Model as QUBO

Encoding

Learning

ConstraintsTranslator.jl

ConstraintLearning.jl

Solvers

Introduction

JuMPed

CBLS.jl

ConstraintExplorer.jl

Other interfaces

LocalSearchSolvers.jl

Meta Solvers

MetaStrategist.jl

Performance Checking

PerfChecker.jl

Tutorial

Interface

BenchmarkToolsExt

ChairmarksExt

API

Public

Full

On this page

Solvers

About solvers.

Edit this page

Pager

Previous pageConstraintLearning.jl

Next pageCBLS.jl

Made with DocumenterVitepress.jl

Solvers ​

Solvers