A C++ Constraint Programming Library
☆46May 9, 2024Updated last year
Alternatives and similar repositories for naxos
Users that are interested in naxos are comparing it to the libraries listed below
Sorting:
- ☆32Feb 22, 2024Updated 2 years ago
- range tree for interval query☆13Jul 10, 2019Updated 6 years ago
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated last month
- Open Source Vehicle Routing Instance Generator☆17Aug 18, 2021Updated 4 years ago
- Classical CHAT80 NLP system for Prolog☆25Feb 27, 2025Updated last year
- PIPS-IPM++ - a massively parallel interior point method for primal-dual block angular Linear Programms☆24May 3, 2023Updated 2 years ago
- A C++ wrapper for SCIP☆31Dec 18, 2025Updated 2 months ago
- A modular Python package for the development of metaheuristic algorithms for Vehicle Routing Problems with Intermediate Stops☆29Dec 27, 2023Updated 2 years ago
- HybridCVRP: A Hybrid Metaheuristic Solver for the Capacitated Vehicle Routing Problem☆28Oct 15, 2022Updated 3 years ago
- SCOT Python API and tools☆10Sep 17, 2023Updated 2 years ago
- Simple swig bindings for the GNU Linear Programming Kit☆29Updated this week
- Realtime raytracer using SIMD on ARM, MIPS, PPC and x86☆26Jan 22, 2025Updated last year
- A C++ Framework for Optimization☆36Updated this week
- Проект для перевода чисел, записанных в текстовом виде на русском языке.☆11Apr 5, 2022Updated 3 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆189Mar 26, 2022Updated 3 years ago
- Algorithms for the Orienteering Problem☆41Apr 29, 2025Updated 10 months ago
- 戴西之海 - 先进数字集群：技术作者自留地☆12Jan 10, 2021Updated 5 years ago
- Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem☆11Nov 26, 2019Updated 6 years ago
- Neural Destruction Search for Vehicle Routing Problems☆18Oct 6, 2025Updated 4 months ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Sketch complex curves and surfaces in VR☆18Jan 13, 2026Updated last month
- ☆15Aug 19, 2020Updated 5 years ago
- CLP(BNR) module for SWI-Prolog☆44Feb 24, 2026Updated last week
- Sparse Convex Optimization Toolkit (SCOT)☆13Feb 5, 2024Updated 2 years ago
- Mass Parallel Secure Shell command execution☆12Nov 9, 2025Updated 3 months ago
- Relational Algebra + SQL tool.☆13Feb 6, 2019Updated 7 years ago
- Feasibility Pump Collection☆16Jul 6, 2023Updated 2 years 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…☆15Nov 15, 2025Updated 3 months ago
- Composable high-level instrumentation for C libraries' malloc and friends☆18Nov 15, 2025Updated 3 months ago
- Tiny iOS app integrating the Aruco library☆15May 17, 2019Updated 6 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 5 months ago
- Flow - Modern C++ toolkit for async loops, logs, config, benchmarking, and more [See also `ipc` repo]☆13Jan 23, 2026Updated last month
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Apr 19, 2025Updated 10 months ago
- A COVID-19 Virus Stats Tracking and Notification Platform☆12Dec 11, 2022Updated 3 years ago
- A tool to generate C++ headers from TypeScript declaration files☆11Sep 2, 2024Updated last year
- Efficient MeTTa language implementation in Prolog.☆20Updated this week
- ☆11Sep 18, 2023Updated 2 years ago
- programs written in Picat☆11Feb 10, 2026Updated 3 weeks ago
- An IdaPython tool for getting syscall's ID and function name from ntdll.dll, user32.dll, and so on.☆13Oct 2, 2016Updated 9 years ago