xcsp3team / XCSP3-Java-Tools
XCSP3 Tools in Java
☆22Updated 2 months ago
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 this week
- COmpact SOlver for COnstrained problems☆12Updated this week
- XCSP3 Core Parser in C++☆19Updated 10 months ago
- A Python Library for modeling combinatorial constrained problems☆67Updated 2 weeks ago
- The Chuffed CP solver☆104Updated last week
- ☆32Updated last year
- A suite of MiniZinc benchmarks.☆84Updated 4 years ago
- Management of Benchmark Instances and Instance Attributes☆19Updated last week
- A benchmark library for constraints☆91Updated 6 months ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 9 months ago
- The CP solver Chuffed☆20Updated 8 years ago
- Exact optimization for cost function networks and additive graphical models☆53Updated last week
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated 3 weeks ago
- Cube-and-Conquer SAT solver☆34Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Dimacs CNF utilities☆21Updated 2 months ago
- A CP Portfolio Solver☆26Updated 2 years ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆41Updated last week
- The MiniZinc IDE☆149Updated last month
- A standalone local search solver for general mixed integer programming☆21Updated last month
- A solver based on local search☆11Updated last month
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated 4 months ago
- COIN-OR Utilities☆48Updated 2 months ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆28Updated 3 weeks ago
- The website for the MiniZinc constraint modelling system☆16Updated last month
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- Java interface for the SCIP Optimization Suite☆64Updated 6 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year