Constraint Solver ACE
☆36Mar 7, 2026Updated 2 weeks ago
Alternatives and similar repositories for ACE
Users that are interested in ACE are comparing it to the libraries listed below
Sorting:
- A Python Library for modeling combinatorial constrained problems☆81Mar 2, 2026Updated 3 weeks ago
- XCSP3 Tools in Java☆23Feb 9, 2026Updated last month
- 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 week
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated 2 months ago
- d4 Model Counter☆19May 17, 2023Updated 2 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Mar 5, 2026Updated 2 weeks ago
- ☆13Feb 28, 2022Updated 4 years ago
- ☆32Feb 22, 2024Updated 2 years ago
- ☆11Dec 11, 2025Updated 3 months ago
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 2 years ago
- A CP Portfolio Solver☆27Apr 18, 2023Updated 2 years ago
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 6 years ago
- A collection of 280+ Boolean networks from various sources useful for benchmarking or testing.☆20Jan 13, 2026Updated 2 months ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 2 years ago
- ☆19Updated this week
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆31Jul 11, 2023Updated 2 years ago
- Decision Diagrams for Discrete Optimization - Generic Julia Implementation☆16Dec 20, 2021Updated 4 years ago
- BDD Package - Sapporo Edition☆21Oct 17, 2023Updated 2 years ago
- A solver based on column generation☆41Dec 27, 2025Updated 2 months ago
- Rust implementation of ossf osv specification☆15Jun 6, 2025Updated 9 months ago
- Bias detection and contextual evaluation tool for your AI projects☆30Oct 31, 2025Updated 4 months ago
- DDO a generic and efficient framework for MDD-based optimization.☆69May 23, 2025Updated 9 months ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 10 months ago
- Python binding for NuSMV.☆11Nov 29, 2017Updated 8 years ago
- library implementing interaction with various linear programming solvers☆25Jan 9, 2026Updated 2 months 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☆757Mar 10, 2026Updated last week
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- Skill Claude Code pour audit de sécurité complet (OWASP Top 10, CWE/CVE, headers, auth, paywall, infra)☆62Mar 2, 2026Updated 3 weeks ago
- Official ISO/TC 211 Ontologies (input to def.iotc211.org)☆10Mar 9, 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 4 years ago
- ☆13Mar 28, 2019Updated 6 years ago
- ☆13Feb 23, 2026Updated last month
- 🕰️ A solver for temporal programs.☆22Jun 24, 2024Updated last year
- A java library to output logs for debugging. It is available in Java 8 or later.☆11Jul 26, 2025Updated 7 months ago
- Genetic algorithm solution (and visualization) of MS-RCPSP scheduling problem.☆13Dec 5, 2016Updated 9 years ago
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- Fluent API generator☆42Jan 23, 2026Updated last month