NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
☆59Oct 8, 2026Updated last week
Alternatives and similar repositories for nucs
Users that are interested in nucs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NLP benchmark test sentences and full results☆13Nov 24, 2017Updated 8 years ago
- Starter bot using Botfuel Dialog☆24Jan 30, 2019Updated 7 years ago
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆48Jul 9, 2026Updated 3 months ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆28Sep 23, 2025Updated last year
- A collaborative benchmark of Discrete Combinatorial Problems for evaluating AI systems in generating constraint models from natural langu…☆21Updated this week
- 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.
- [IJCAI'25] Bandit-based Adaptive Large-Neighborhood Search☆24Aug 13, 2026Updated 2 months ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆58Sep 17, 2026Updated last month
- A decorator-based slurm runner.☆18Mar 25, 2026Updated 6 months ago
- An open-source course on constraint solving☆29Sep 14, 2026Updated last month
- ☆25Oct 22, 2024Updated last year
- BoolXAI is a research library for machine learning for Explainable AI (XAI) based on expressive Boolean formulas.☆21Oct 10, 2025Updated last year
- Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.☆377Updated this week
- This repository stores the proposals submitted to the NumFOCUS Small Development Grants (SDG) program.☆20Nov 18, 2025Updated 10 months ago
- A demo on how use column generation in a primal heuristic for the Vehicle Routing Problem with Time Windows (VRPTW)☆19Jan 24, 2023Updated 3 years 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.
- Decision Engine☆44Oct 1, 2026Updated 2 weeks ago
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆18Nov 15, 2025Updated 11 months ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆89Updated this week
- General purpose pre-commit hooks used by BestDoctor for Python projects.☆13May 21, 2026Updated 4 months ago
- Solving Elementary Longest/Shortest Path problems with Integer Programming☆15Mar 8, 2017Updated 9 years ago
- A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.☆66Sep 29, 2026Updated 2 weeks ago
- Noclip mod for the game Firewatch☆10Oct 24, 2018Updated 7 years ago
- Python GraphQL Client - PyGQLC☆12Oct 4, 2026Updated last week
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years 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.
- Wosp: advanced full-text search on the command line☆16Dec 27, 2025Updated 9 months ago
- CYK, Earley, Left-Corner and Head-Corner unification-based chart parsers☆13Jan 14, 2019Updated 7 years ago
- Corpus français de tweets annotés pour l'évaluation de la fouille d'opinion ciblée☆10Jun 26, 2015Updated 11 years ago
- Web-Application proxy for the Kindle Touch - New Generation☆10Apr 20, 2018Updated 8 years ago
- The TUI PEP lookup manager for your terminal☆27Feb 3, 2026Updated 8 months ago
- A state-of-the-art inexact solver for the Traveling Salesman problem (TSP).☆27Nov 21, 2020Updated 5 years ago
- Like FromStr but it owns☆14Mar 23, 2025Updated last year
- Fast Inventory simulation and optimization☆10Feb 23, 2025Updated last year
- This is EllaVator project to build Ella the talking eleVator as part of a Saarland University software project class.☆17Jun 8, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Access to all MiniZinc functionality directly from Python☆213Sep 10, 2026Updated last month
- A tool to comfortably check complex LaTeX documents, e.g., dissertations.☆16Updated this week
- A replication/re-implementation of Ghiglia, Dennis C., and Louis A. Romero. __"Robust two-dimensional weighted and unweighted phase unwr…☆17Dec 26, 2020Updated 5 years ago
- ☆12Nov 17, 2023Updated 2 years ago
- Python implementation of the Muskingum-Cunge routing model☆15Jul 29, 2024Updated 2 years ago
- Segment Organelles from Electron Microscopy Datasets with Segment-Anything 2☆19Jun 23, 2026Updated 3 months ago
- Solve optimization problems and build custom algorithms☆41Aug 25, 2026Updated last month