XCSP3 Tools in Java
☆23Feb 9, 2026Updated 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
Sorting:
- Models (and data) of constrained problems developped with the library PyCSP3☆14Dec 15, 2025Updated 3 months ago
- Constraint Solver ACE☆36Mar 7, 2026Updated 2 weeks ago
- COmpact SOlver for COnstrained problems☆14Mar 11, 2026Updated last week
- A Python Library for modeling combinatorial constrained problems☆81Mar 2, 2026Updated 2 weeks ago
- A Free World Class High Performance SAT Solver☆21Jul 12, 2021Updated 4 years ago
- A suite of MiniZinc benchmarks.☆87Mar 13, 2026Updated last week
- A benchmark library for constraints☆99Feb 28, 2026Updated 3 weeks ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 10 months ago
- d4 Model Counter☆19May 17, 2023Updated 2 years ago
- ☆16Jan 24, 2026Updated last month
- The MiniZinc compiler☆670Updated this week
- Bias detection and contextual evaluation tool for your AI projects☆30Oct 31, 2025Updated 4 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 2 months ago
- A collection of packages & settings in order to make the most of Github's Atom Text Editor while writing python.☆10Sep 5, 2017Updated 8 years ago
- Rust library bindings to the Gurobi optimiser.☆25Feb 1, 2025Updated last year
- An open-source course on constraint solving☆25Oct 24, 2025Updated 4 months ago
- Empowering everyone to build reliable and efficient software.☆12Oct 1, 2025Updated 5 months ago
- CPSolver entry to the International Timetabling Competition 2007 (ITC2007)☆10Feb 10, 2015Updated 11 years ago
- A univeral P system simulator for membrane computing researchers.☆10Dec 28, 2019Updated 6 years ago
- ☆15Jun 30, 2025Updated 8 months ago
- REPETITA: Repeatable Experiments for Performance Evaluation of Traffic-Engineering Algorithms☆38Sep 12, 2023Updated 2 years ago
- ☆13Nov 30, 2017Updated 8 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆11May 13, 2025Updated 10 months ago
- Dimacs CNF utilities☆21Feb 12, 2025Updated last year
- A collection of definitions that extend the algorithmic composition system Opusmodus (http://opusmodus.com/).☆20May 19, 2025Updated 10 months ago
- ☆13Mar 2, 2023Updated 3 years ago
- ☆10May 11, 2023Updated 2 years ago
- A tool to extract and explore Wikipedia edits made by companies, institutions and governments☆15Dec 3, 2022Updated 3 years ago
- Heterogeneous Cluster Interconnect to bind special-purpose HW accelerators with general-purpose cluster cores☆14Mar 12, 2026Updated last week
- A utility for parallelizing execution of shell functions. It is a shell function itself, so it integrates well with your shell, i.e. jobs…☆42Mar 18, 2018Updated 8 years ago
- A Rust crate to compute boolean operations on polygons.☆15Nov 4, 2023Updated 2 years ago
- I used the AlphaZero algorithm to make a bot that plays ultimate tic-tac-toe.☆15Apr 7, 2019Updated 6 years ago
- Parallel C++: Efficient and Scalable High-Performance Parallel Programming☆22Aug 15, 2024Updated last year
- IREE compiler and runtime for Snitch☆14Oct 9, 2025Updated 5 months ago
- ☆16Oct 4, 2023Updated 2 years ago
- Power Law Random k-SAT Generator☆15Nov 21, 2021Updated 4 years ago
- Symmetric ciphers, hashes, microtime, random strings, big integers, and zlib compression☆28Sep 7, 2015Updated 10 years ago
- Possibly useful tools for working with PDFs that don't fit into the pdf crate.☆12Nov 24, 2025Updated 3 months ago
- The Reconfigurable Solver for QP☆11Apr 19, 2023Updated 2 years ago