xcsp3team / XCSP3-Java-ToolsLinks
XCSP3 Tools in Java
☆23Updated this week
Alternatives and similar repositories for XCSP3-Java-Tools
Users that are interested in XCSP3-Java-Tools are comparing it to the libraries listed below
Sorting:
- ☆20Updated 4 years ago
- Constraint Solver ACE☆36Updated this week
- Generic Constraint Development Environment☆319Updated 2 weeks ago
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆27Updated last week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Updated last year
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆53Updated 3 weeks ago
- The Chuffed CP solver☆119Updated last month
- ☆32Updated last year
- Management of Benchmark Instances and Instance Attributes☆20Updated last month
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆30Updated 3 years ago
- A suite of MiniZinc benchmarks.☆87Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Updated last year
- An open-source course on constraint solving☆25Updated 3 months ago
- A benchmark library for constraints☆98Updated 3 months ago
- A Python Library for modeling combinatorial constrained problems☆81Updated this week
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated last week
- A standalone local search solver for general mixed integer programming☆45Updated last month
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆331Updated last week
- Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy☆11Updated 6 years ago
- MIP 2024 Computational Competition☆18Updated 2 years ago
- Parallel Presolve for Integer and Linear Optimization☆84Updated last week
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆26Updated 4 years ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆76Updated last month
- The Standard Interface for Incremental Satisfiability Solving☆51Updated 3 years ago
- The MiniZinc IDE☆166Updated last week
- XCSP3 Core Parser in C++☆19Updated 3 weeks ago
- A standalone local search solver for general integer linear programming☆16Updated last year
- A solver based on column generation☆39Updated last month
- Visualizations of Mittelmann benchmarks☆65Updated 3 weeks ago
- Branch-and-Price-and-Cut in Julia☆210Updated 4 months ago