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:
- COmpact SOlver for COnstrained problems☆14Updated this week
- Constraint Solver ACE☆38May 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
- MaxiCP☆37Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- MAPS with open-data visualisation☆12Dec 13, 2021Updated 4 years ago
- library implementing interaction with various linear programming solvers☆25Jan 9, 2026Updated 5 months ago
- Exact optimization for cost function networks and additive graphical models☆66Updated this week
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- Algorithm Selection scenario data☆30Sep 29, 2025Updated 8 months ago
- Algorithm Programming Exercises☆19Oct 8, 2025Updated 8 months ago
- Bias detection and contextual evaluation tool for your AI projects☆30Apr 27, 2026Updated last month
- 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An open-source course on constraint solving☆26Oct 24, 2025Updated 7 months ago
- Hyper Super Duper sublime text 3 theme for industrial coding.☆13Sep 23, 2019Updated 6 years 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
- ☆15Jun 30, 2025Updated 11 months ago
- REPETITA: Repeatable Experiments for Performance Evaluation of Traffic-Engineering Algorithms☆40Sep 12, 2023Updated 2 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆13May 13, 2025Updated last year
- A collection of definitions that extend the algorithmic composition system Opusmodus (http://opusmodus.com/).☆21May 19, 2025Updated last year
- 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.
- ja is a small CLI / TUI app that allows you to work with AI tools☆20Jun 3, 2026Updated last week
- A tool to extract and explore Wikipedia edits made by companies, institutions and governments☆15Dec 3, 2022Updated 3 years ago
- 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
- 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
- I used the AlphaZero algorithm to make a bot that plays ultimate tic-tac-toe.☆15Apr 7, 2019Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Chisel Fixed-Point Arithmetic Library☆18Dec 15, 2025Updated 5 months ago
- CORE-V eXtension Interface compliant RISC-V [F|Zfinx] Coprocessor☆16Nov 12, 2025Updated 6 months ago
- Control a spacecraft using a 6502! Built with godot, rust, wasm and svelte.☆20Sep 13, 2025Updated 8 months ago
- Symmetric ciphers, hashes, microtime, random strings, big integers, and zlib compression☆29Sep 7, 2015Updated 10 years ago
- Possibly useful tools for working with PDFs that don't fit into the pdf crate.☆12Nov 24, 2025Updated 6 months ago
- ☆14Jun 14, 2025Updated 11 months ago
- The Reconfigurable Solver for QP☆11Apr 19, 2023Updated 3 years ago