XCSP3 Tools in Java
☆25Feb 9, 2026Updated 6 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:
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated 7 months ago
- A Python Library for modeling combinatorial constrained problems☆85Jul 27, 2026Updated last month
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- A Free World Class High Performance SAT Solver☆20Jul 12, 2021Updated 5 years ago
- A suite of MiniZinc benchmarks.☆90May 13, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 4D GIS system for renderering floods simulation time-series data on top an urban area☆10Dec 6, 2019Updated 6 years ago
- Python PDF Generator with Database Connection and Email support☆10Jul 26, 2017Updated 9 years ago
- Algorithm Selection scenario data☆30Sep 29, 2025Updated 11 months ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- ☆18May 12, 2025Updated last year
- ☆19May 8, 2026Updated 3 months ago
- The MiniZinc compiler☆700Updated this week
- DDO a generic and efficient framework for MDD-based optimization.☆70May 23, 2025Updated last year
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17May 23, 2023Updated 3 years ago
- Rust library bindings to the Gurobi optimiser.☆26Feb 1, 2025Updated last year
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- https://david.kolo.ski/blog/intelligent-brute-forcing/☆15Oct 14, 2021Updated 4 years ago
- Empowering everyone to build reliable and efficient software.☆12Aug 3, 2026Updated 3 weeks ago
- Hyper Super Duper sublime text 3 theme for industrial coding.☆13Sep 23, 2019Updated 6 years ago
- Encrypted Memory Classloader loader + Builder☆47Aug 7, 2023Updated 3 years ago
- MaxiCP☆40Jul 22, 2026Updated last month
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- 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.
- FPGA Portable Music Generator☆11Aug 1, 2018Updated 8 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆13May 13, 2025Updated last year
- Computer Science II documents and materials☆52Aug 14, 2026Updated 2 weeks ago
- ☆10May 11, 2023Updated 3 years ago
- Strawberry detection by using the YOLOv8 model, Ripeness measurement of strawberry by using OpenCV and Measure distance of strawberry fro…☆13Oct 31, 2023Updated 2 years ago
- Text to JSON for easy Fine-tuning examples☆17May 6, 2024Updated 2 years ago
- 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
- ☆13Jul 13, 2019Updated 7 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 Rust crate to compute boolean operations on polygons.☆16Nov 4, 2023Updated 2 years ago
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated last year
- An open-source course on constraint solving☆26Jul 25, 2026Updated last month
- Parallel C++: Efficient and Scalable High-Performance Parallel Programming☆28Aug 15, 2024Updated 2 years ago
- I used the AlphaZero algorithm to make a bot that plays ultimate tic-tac-toe.☆15Apr 7, 2019Updated 7 years ago
- IREE compiler and runtime for Snitch☆15May 14, 2026Updated 3 months ago
- Julia for Java binding☆10Jun 7, 2025Updated last year