XCSP3 Tools in Java
☆27Sep 10, 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Constraint Solver ACE☆41Oct 8, 2026Updated 3 weeks ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆42May 22, 2026Updated 5 months ago
- Profiling and Visualisation for Constraint Programming☆10May 18, 2022Updated 4 years ago
- A suite of MiniZinc benchmarks.☆92May 13, 2026Updated 5 months ago
- ☆32Feb 22, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A benchmark library for constraints☆106Sep 28, 2026Updated last month
- library implementing interaction with various linear programming solvers☆27Jan 9, 2026Updated 9 months ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- Un tutorial de ANTLR v4 con Eclipse☆11Oct 13, 2020Updated 6 years ago
- ☆18May 12, 2025Updated last year
- ☆21Sep 21, 2026Updated last month
- ☆17Oct 23, 2026Updated last week
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Sep 25, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Oct 7, 2026Updated 3 weeks ago
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17May 23, 2023Updated 3 years ago
- Lisp mode for geany☆15Jul 1, 2020Updated 6 years ago
- The MiniZinc compiler☆704Updated this week
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- Rust library bindings to the Gurobi optimiser.☆26Feb 1, 2025Updated last year
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 6 years ago
- ☆12Sep 10, 2015Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14Aug 24, 2026Updated 2 months ago
- Empowering everyone to build reliable and efficient software.☆12Oct 22, 2026Updated last week
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- Hybrid OpenSCAD + WYSIWYG procedural CAD system☆19Updated this week
- ☆10Sep 22, 2026Updated last month
- LaTeX template for IMT Atlantique reports☆28Aug 14, 2019Updated 7 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- Tools for FPGA Assurance Flows☆14Sep 25, 2026Updated last month
- MaxiCP☆45Oct 16, 2026Updated 2 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- COVID19 Casos confirmados en Chile☆21Apr 24, 2020Updated 6 years ago
- ☆14Aug 17, 2026Updated 2 months ago
- FPGA Portable Music Generator☆11Aug 1, 2018Updated 8 years ago
- A tool to extract and explore Wikipedia edits made by companies, institutions and governments☆15Dec 3, 2022Updated 3 years ago
- A utility for parallelizing execution of shell functions. It is a shell function itself, so it integrates well with your shell, i.e. jobs…☆43Aug 2, 2026Updated 2 months ago
- Text to JSON for easy Fine-tuning examples☆17May 6, 2024Updated 2 years ago
- Algorihms about Suffix Array Construction, Suffix Tree, Longest Common Prefix, Burrows Wheeler Transform,☆12Oct 26, 2019Updated 7 years ago