xcsp3team / XCSP3-Java-Tools
XCSP3 Tools in Java
☆22Updated last month
Alternatives and similar repositories for XCSP3-Java-Tools:
Users that are interested in XCSP3-Java-Tools are comparing it to the libraries listed below
- Constraint Solver ACE☆29Updated last week
- A Python Library for modeling combinatorial constrained problems☆66Updated 2 weeks ago
- COmpact SOlver for COnstrained problems☆12Updated this week
- XCSP3 Core Parser in C++☆19Updated 10 months ago
- The Chuffed CP solver☆104Updated last week
- The MiniZinc IDE☆148Updated 3 weeks ago
- A benchmark library for constraints☆89Updated 5 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- A suite of MiniZinc benchmarks.☆84Updated 4 years ago
- Exact optimization for cost function networks and additive graphical models☆53Updated this week
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated this week
- Generic Constraint Development Environment☆287Updated 8 months ago
- ☆31Updated last year
- SAT Solver SATCH☆113Updated 2 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆36Updated 2 weeks ago
- Access to all MiniZinc functionality directly from Python☆157Updated last month
- A collection of problem specifications in Essence.☆10Updated 10 months ago
- Cut Generator Library☆26Updated last month
- Management of Benchmark Instances and Instance Attributes☆19Updated 5 months ago
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆28Updated 2 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆22Updated 3 weeks ago
- Dimacs CNF utilities☆21Updated last month
- Sequential object-oriented simPlex☆63Updated last week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Conjure: The Automated Constraint Modelling Tool☆103Updated this week
- The MiniZinc compiler☆539Updated 3 weeks ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers☆102Updated last week
- ☆20Updated 3 years ago