XCSP3 Tools in Java
☆23Feb 9, 2026Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Models (and data) of constrained problems developped with the library PyCSP3☆14Mar 29, 2026Updated last week
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated 2 months ago
- Constraint Solver ACE☆36Mar 28, 2026Updated last week
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆39Mar 11, 2026Updated last month
- A Python Library for modeling combinatorial constrained problems☆82Apr 4, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- library implementing interaction with various linear programming solvers☆25Jan 9, 2026Updated 3 months ago
- Exact optimization for cost function networks and additive graphical models☆65Apr 3, 2026Updated last week
- Algorithm Selection scenario data☆30Sep 29, 2025Updated 6 months ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 10 months ago
- ☆16Jan 24, 2026Updated 2 months ago
- The MiniZinc compiler☆674Mar 19, 2026Updated 3 weeks ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 3 months ago
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 5 years ago
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17May 23, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Rust library bindings to the Gurobi optimiser.☆25Feb 1, 2025Updated last year
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- Empowering everyone to build reliable and efficient software.☆12Oct 1, 2025Updated 6 months ago
- A univeral P system simulator for membrane computing researchers.☆10Dec 28, 2019Updated 6 years ago
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- FPGA Portable Music Generator☆11Aug 1, 2018Updated 7 years ago
- A collection of definitions that extend the algorithmic composition system Opusmodus (http://opusmodus.com/).☆20May 19, 2025Updated 10 months ago
- ☆10May 11, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A tool to extract and explore Wikipedia edits made by companies, institutions and governments☆15Dec 3, 2022Updated 3 years ago
- Library for creation of SAT instances.☆23Sep 7, 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…☆42Mar 18, 2018Updated 8 years ago
- A Rust crate to compute boolean operations on polygons.☆15Nov 4, 2023Updated 2 years ago
- Benchmarking the performance of different sorting algorithms implemented in Java☆17Apr 20, 2020Updated 5 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- A simulation of the launch and landing of the Falcon 9 rocket.☆17Feb 19, 2023Updated 3 years ago
- IREE compiler and runtime for Snitch☆14Oct 9, 2025Updated 6 months ago
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Possibly useful tools for working with PDFs that don't fit into the pdf crate.☆12Nov 24, 2025Updated 4 months ago
- The Reconfigurable Solver for QP☆11Apr 19, 2023Updated 2 years ago
- Unlimited Vector Extension with Data Streaming Support☆12Nov 25, 2024Updated last year
- Wokwi-example how the display is initialised for different boards☆12Mar 13, 2023Updated 3 years ago
- ☆20Nov 20, 2025Updated 4 months ago
- Minimal runtime / startup for RISC-V CPUs from Espressif☆21Jun 7, 2023Updated 2 years ago
- Collection of Tools for Computational Materials Science☆12Nov 1, 2022Updated 3 years ago