xcsp3

There are 0 repository under xcsp3 topic.

xcsp3team / PyCSP3
A Python Library for modeling combinatorial constrained problems
modeling modeling-language modeling-tool constraint-based-modeling constraint-programming constraints python constrained-optimization constraint-satisfaction-problem library xcsp3
Language:Python 59
xcsp3team / ACE
Constraint Solver ACE
csp constrained-optimization constraint-programming constraint-satisfaction-problem constraint-solver constraints java optimization solver xcsp3
Language:Java 26
xcsp3team / XCSP3-Java-Tools
XCSP3 Tools in Java
constraint-programming constraints java parser parsing-library xcsp3
Language:Java 21
xcsp3team / XCSP3-CPP-Parser
XCSP3 Core Parser in C++
c-plus-plus constraint-programming constraints cpp parser parsing-library xcsp3
Language:C++ 19
xcsp3team / cosoco
COmpact SOlver for COnstrained problems
xcsp3 constraint-optimization constraint-programming constraints optimization solver constraint-satisfaction-problem
Language:C++ 11
xcsp3team / PyCSP3-models
Models (and data) of constrained problems developped with the library PyCSP3
constrained-optimization constraint-based-modeling constraint-programming constraint-satisfaction-problem constraints data library modeling modeling-language models python xcsp3 pycsp3
Language:Python 7
luhanzhen / RuCos
RuCos is an extremely high-performance parallel constraint solver implemented by Rust.
constraint-programming constraint-satisfaction-problem constraint-solver constraint-solving-algorithm parallel-computing solver xcsp3 rust rust-solver
Language:Rust 1
luhanzhen / xcsp3-rust
The purpose of this library is to read XCSP files into rust constraint programming solvers.
constraint-optimisation-problem constraint-programming constraints parser parsing-library rust xcsp3
Language:Rust 1
swasun / FrequencyAllocationProblem
A program to resolve the Allocation Frequency problem using two different modelisations (COP and valued CSP)
allocation-frequency constraint-optimisation-problem xcsp3 constraint-satisfaction-problem wcsp choco-solver toulbar2
Language:Java 1
crillab / autis
AUTIS library allows parsing combinatorial problem instances for different common formats.
constraint-programming cpp dimacs opb tootatis xcsp3
Language:C++ 0