Constraint Solver ACE
☆38Apr 13, 2026Updated 2 weeks ago
Alternatives and similar repositories for ACE
Users that are interested in ACE are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python Library for modeling combinatorial constrained problems☆82Apr 21, 2026Updated last week
- XCSP3 Tools in Java☆25Feb 9, 2026Updated 2 months ago
- 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
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated 3 months ago
- ☆15May 12, 2025Updated 11 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.
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆15Mar 5, 2026Updated last month
- ☆32Feb 22, 2024Updated 2 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆40Dec 18, 2022Updated 3 years ago
- Programming language based on the synchronous and constraint paradigms☆15Oct 13, 2020Updated 5 years ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- The mnemosyne Cache library☆18Apr 4, 2026Updated 3 weeks ago
- A pluggable actor system written in java leveraging modern features from JDK21+☆39Apr 11, 2026Updated 3 weeks ago
- A solver based on column generation☆42Dec 27, 2025Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Bias detection and contextual evaluation tool for your AI projects☆30Apr 25, 2026Updated last week
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆26Jun 3, 2023Updated 2 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆28Jan 24, 2022Updated 4 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 11 months ago
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 6 years ago
- React component for rendering RDF graphs and datasets using n3.js and cytoscape.js☆10Nov 8, 2021Updated 4 years ago
- An open-source Java library for Constraint Programming☆765Updated this week
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆15Mar 23, 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.
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆79Apr 16, 2026Updated 2 weeks ago
- A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)☆12Oct 12, 2020Updated 5 years ago
- QUBO matrix generator for major combinatorial optimization problems written in Python☆25Apr 20, 2021Updated 5 years ago
- Implementation of SPQ, WRR, and DWRR Scheduling Algorithms☆10Dec 23, 2019Updated 6 years ago
- A java library to output logs for debugging. It is available in Java 8 or later.☆11Jul 26, 2025Updated 9 months ago
- Make STEP-NC for Additive Manufacturing☆11Mar 19, 2021Updated 5 years ago
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A high level API to express vectorized operations in Java☆26Feb 22, 2021Updated 5 years ago
- Flat file sorting and merging plugin for Spring Batch.☆12Oct 12, 2021Updated 4 years ago
- C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.☆25Aug 9, 2022Updated 3 years ago
- Dimacs CNF utilities☆21Mar 28, 2026Updated last month
- A collection of definitions that extend the algorithmic composition system Opusmodus (http://opusmodus.com/).☆21May 19, 2025Updated 11 months ago
- Eclipse Plugin for Tapestry5☆22Feb 3, 2026Updated 2 months ago
- ja is a small CLI / TUI app that allows you to work with AI tools☆20Apr 22, 2026Updated last week