XCSP3 Tools in Java
☆25Feb 9, 2026Updated 4 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:
- Constraint Solver ACE☆39May 5, 2026Updated last month
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- A Free World Class High Performance SAT Solver☆21Jul 12, 2021Updated 4 years ago
- A suite of MiniZinc benchmarks.☆90May 13, 2026Updated last month
- ☆15May 12, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆15Oct 3, 2021Updated 4 years ago
- library implementing interaction with various linear programming solvers☆25Jan 9, 2026Updated 5 months ago
- ☆32Feb 22, 2024Updated 2 years ago
- A benchmark library for constraints☆104Mar 30, 2026Updated 3 months ago
- Exact optimization for cost function networks and additive graphical models☆66Updated this week
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- ☆16Jun 9, 2026Updated 3 weeks ago
- The MiniZinc compiler☆688Jun 20, 2026Updated last week
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Rust library bindings to the Gurobi optimiser.☆26Feb 1, 2025Updated last year
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- Set of Minimal C Utilities☆16Aug 21, 2015Updated 10 years ago
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- ☆15Jun 30, 2025Updated last year
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- FPGA Portable Music Generator☆11Aug 1, 2018Updated 7 years ago
- ja is a small CLI / TUI app that allows you to work with AI tools☆20Jun 24, 2026Updated last week
- ☆10May 11, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 3 years ago
- Heterogeneous Cluster Interconnect to bind special-purpose HW accelerators with general-purpose cluster cores☆16Jun 19, 2026Updated last week
- Text to JSON for easy Fine-tuning examples☆17May 6, 2024Updated 2 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
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated last year
- 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 6 years ago
- LaTeX template for IMT Atlantique reports☆28Aug 14, 2019Updated 6 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simulation of the launch and landing of the Falcon 9 rocket.☆17Feb 19, 2023Updated 3 years ago
- Chisel Fixed-Point Arithmetic Library☆18Dec 15, 2025Updated 6 months ago
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated last month
- CORE-V eXtension Interface compliant RISC-V [F|Zfinx] Coprocessor☆16Nov 12, 2025Updated 7 months ago
- ☆39Nov 7, 2022Updated 3 years ago
- Control a spacecraft using a 6502! Built with godot, rust, wasm and svelte.☆21Sep 13, 2025Updated 9 months ago
- Power Law Random k-SAT Generator☆16Nov 21, 2021Updated 4 years ago