Constraint Solver ACE
☆36Mar 28, 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:
- COmpact SOlver for COnstrained problems☆14Mar 30, 2026Updated last week
- Models (and data) of constrained problems developped with the library PyCSP3☆14Mar 29, 2026Updated 2 weeks ago
- A Python Library for modeling combinatorial constrained problems☆82Apr 4, 2026Updated last week
- XCSP3 Tools in Java☆23Feb 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated 2 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Mar 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
- ☆15Oct 3, 2021Updated 4 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆40Dec 18, 2022Updated 3 years ago
- A CP Portfolio Solver☆27Apr 18, 2023Updated 2 years ago
- IPyHOP is a Re-entrant Iterative GTPyHOP written in Python 3. PyHOP is an acronym for Python Hierarchical Ordered Planner.☆11Aug 12, 2022Updated 3 years ago
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A collection of 280+ Boolean networks from various sources useful for benchmarking or testing.☆21Mar 21, 2026Updated 3 weeks ago
- ☆19Mar 16, 2026Updated 3 weeks ago
- 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
- A solver based on column generation☆41Dec 27, 2025Updated 3 months ago
- Bias detection and contextual evaluation tool for your AI projects☆30Oct 31, 2025Updated 5 months ago
- 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…☆25Jun 3, 2023Updated 2 years ago
- DDO a generic and efficient framework for MDD-based optimization.☆69May 23, 2025Updated 10 months ago
- Extension to Python's Future (Promise) API that allows chaining using .then() (like JavaScript Promises)☆19Feb 8, 2016Updated 10 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- An open-source Java library for Constraint Programming☆762Apr 3, 2026Updated last week
- Official ISO/TC 211 Ontologies (input to def.iotc211.org)☆10Mar 28, 2026Updated 2 weeks ago
- PLanning and Acting with TImeliNes under Uncertainty☆18Updated this week
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆27Jan 13, 2022Updated 4 years ago
- Convert SWRL rules to SHACL-SPARQL rules☆10Oct 2, 2018Updated 7 years 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
- Hyper Super Duper sublime text 3 theme for industrial coding.☆13Sep 23, 2019Updated 6 years ago
- QUBO matrix generator for major combinatorial optimization problems written in Python☆25Apr 20, 2021Updated 4 years ago
- A java library to output logs for debugging. It is available in Java 8 or later.☆11Jul 26, 2025Updated 8 months ago
- 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.
- 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
- Representation of XML Schemas in OWL syntax☆10Feb 16, 2016Updated 10 years ago
- Utilities for working with the JDK's built-in HTTP server.☆14Nov 18, 2024Updated last year
- Generation of Space Boundaries based on IFC files for Building Simulation☆16Jan 24, 2023Updated 3 years ago
- C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.☆25Aug 9, 2022Updated 3 years ago
- An attempt to create a .NET wrapper for the Eigen math library.☆11Feb 5, 2019Updated 7 years ago