Constraint Solver ACE
☆39May 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 13, 2026Updated 2 weeks ago
- Models (and data) of constrained problems developped with the library PyCSP3☆14Mar 29, 2026Updated 3 months ago
- A Python Library for modeling combinatorial constrained problems☆85Apr 21, 2026Updated 2 months ago
- XCSP3 Tools in Java☆25Feb 9, 2026Updated 4 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…☆39May 22, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- d4 Model Counter☆22May 17, 2023Updated 3 years 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
- Nutmeg – a MIP and CP branch-and-check solver☆33Jun 22, 2023Updated 3 years ago
- ☆15Oct 3, 2021Updated 4 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆31Jun 11, 2026Updated 3 weeks ago
- Utilities for working with the JDK's built-in HTTP server.☆15Nov 18, 2024Updated last year
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆19May 8, 2026Updated last month
- The mnemosyne Cache library☆19Jun 15, 2026Updated 2 weeks ago
- A pluggable actor system written in java leveraging modern features from JDK21+☆39Jun 10, 2026Updated 3 weeks ago
- A solver based on column generation☆42Jun 23, 2026Updated last week
- 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
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 6 years ago
- Extension to Python's Future (Promise) API that allows chaining using .then() (like JavaScript Promises)☆20Feb 8, 2016Updated 10 years ago
- React component for rendering RDF graphs and datasets using n3.js and cytoscape.js☆10Nov 8, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- An open-source Java library for Constraint Programming☆770Jun 20, 2026Updated last week
- ☆60May 22, 2026Updated last month
- 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
- Set of Minimal C Utilities☆16Aug 21, 2015Updated 10 years ago
- ☆13Mar 28, 2019Updated 7 years ago
- Implementation of SPQ, WRR, and DWRR Scheduling Algorithms☆10Dec 23, 2019Updated 6 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Representation of XML Schemas in OWL syntax☆10Feb 16, 2016Updated 10 years ago
- Generation of Space Boundaries based on IFC files for Building Simulation☆17Jan 24, 2023Updated 3 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
- C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.☆25Aug 9, 2022Updated 3 years ago
- Dimacs CNF utilities☆21Jun 23, 2026Updated last week
- Helpers for java☆13Jan 13, 2026Updated 5 months ago