Constraint Solver ACE
☆38May 5, 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☆83Apr 21, 2026Updated last month
- XCSP3 Tools in Java☆25Feb 9, 2026Updated 3 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 2 months ago
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated 4 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆15Mar 5, 2026Updated 2 months ago
- 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.
- ☆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
- A constraint modelling and rewriting library and compiler framework written in rust☆31Updated this week
- The mnemosyne Cache library☆18May 10, 2026Updated last week
- A pluggable actor system written in java leveraging modern features from JDK21+☆39May 1, 2026Updated 3 weeks ago
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆31Jul 11, 2023Updated 2 years ago
- A solver based on column generation☆42Dec 27, 2025Updated 4 months ago
- Bias detection and contextual evaluation tool for your AI projects☆30Apr 27, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 4 months ago
- DDO a generic and efficient framework for MDD-based optimization.☆69May 23, 2025Updated 11 months ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- 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
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- Designed to simplify IPC routine with .NET☆11Jul 18, 2013Updated 12 years ago
- Official ISO/TC 211 Ontologies (input to def.iotc211.org)☆10Mar 28, 2026Updated last month
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆27Jan 13, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆79Apr 16, 2026Updated last month
- Convert SWRL rules to SHACL-SPARQL rules☆10Oct 2, 2018Updated 7 years ago
- QUBO matrix generator for major combinatorial optimization problems written in Python☆25Apr 20, 2021Updated 5 years ago
- ☆13Mar 28, 2019Updated 7 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
- 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.
- Representation of XML Schemas in OWL syntax☆10Feb 16, 2016Updated 10 years ago
- 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
- Dimacs CNF utilities☆21Mar 28, 2026Updated last month
- An attempt to create a .NET wrapper for the Eigen math library.☆11Feb 5, 2019Updated 7 years ago
- A collection of definitions that extend the algorithmic composition system Opusmodus (http://opusmodus.com/).☆21May 19, 2025Updated last year
- Eclipse Plugin for Tapestry5☆22Feb 3, 2026Updated 3 months ago