Constraint Solver ACE
☆38May 5, 2026Updated last month
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☆14Jun 5, 2026Updated last week
- A Python Library for modeling combinatorial constrained problems☆84Apr 21, 2026Updated last month
- XCSP3 Tools in Java☆25Feb 9, 2026Updated 4 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆16Mar 5, 2026Updated 3 months ago
- ☆32Feb 22, 2024Updated 2 years 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.
- ☆15Oct 3, 2021Updated 4 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆31May 25, 2026Updated 2 weeks ago
- Utilities for working with the JDK's built-in HTTP server.☆14Nov 18, 2024Updated last year
- A CP Portfolio Solver☆27Apr 18, 2023Updated 3 years ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- ☆19May 8, 2026Updated last month
- The mnemosyne Cache library☆18May 10, 2026Updated last month
- A pluggable actor system written in java leveraging modern features from JDK21+☆39Updated this week
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆31Jul 11, 2023Updated 2 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.
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 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…☆27Jun 3, 2023Updated 3 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- An open-source Java library for Constraint Programming☆769May 21, 2026Updated 3 weeks ago
- ☆60May 22, 2026Updated 2 weeks ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆79Apr 16, 2026Updated last month
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆16Jun 1, 2026Updated last week
- QUBO matrix generator for major combinatorial optimization problems written in Python☆25Apr 20, 2021Updated 5 years ago
- Hyper Super Duper sublime text 3 theme for industrial coding.☆13Sep 23, 2019Updated 6 years 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.
- ☆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 10 months 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
- A high level API to express vectorized operations in Java☆26Feb 22, 2021Updated 5 years ago
- Dimacs CNF utilities☆21Mar 28, 2026Updated 2 months ago
- Helpers for java☆13Jan 13, 2026Updated 4 months ago
- Eclipse Plugin for Tapestry5☆22Feb 3, 2026Updated 4 months 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.
- A collection of definitions that extend the algorithmic composition system Opusmodus (http://opusmodus.com/).☆21May 19, 2025Updated last year
- Generic Constraint Development Environment☆329May 25, 2026Updated 2 weeks ago
- ☆13Sep 6, 2024Updated last year
- Java library to compile and run C++ code in-memory☆14Oct 15, 2017Updated 8 years ago
- Open source HTML5 charts using the canvas tag.☆33Dec 4, 2015Updated 10 years ago
- The Chuffed CP solver☆124Mar 17, 2026Updated 2 months ago
- Adaptive Cut Selection in Mixed-Integer Linear Programming☆16Aug 2, 2023Updated 2 years ago