pothitos / naxos
A C++ Constraint Programming Library
☆45Updated 11 months ago
Alternatives and similar repositories for naxos:
Users that are interested in naxos are comparing it to the libraries listed below
- A minimalistic and high-performance SAT solver☆144Updated 3 years ago
- Shader-Like Mathematical Expression JIT Engine for C++ Language☆58Updated 5 years ago
- x86/x64 JIT compiler for math string expressions written in C++. Parser is Boost.Spirit X3. AST transformations: partial derivation, cons…☆47Updated 9 years ago
- C++14 version of lexertl☆49Updated 8 months ago
- Spatial Containers, Pareto Fronts, and Pareto Archives☆97Updated 10 months ago
- A C++14-and-later expression template library☆109Updated 3 weeks ago
- Multiprecision for modern C++☆314Updated 4 months ago
- C++ library for bit twiddling☆37Updated 6 years ago
- The Chuffed CP solver☆104Updated 3 weeks ago
- The Piranha computer algebra system.☆102Updated 2 years ago
- Visualization tool for Templight C++ template debugger traces☆90Updated 6 years ago
- Generic Constraint Development Environment☆289Updated 10 months ago
- A library for generating compile time parsers parsing embedded DSL code as part of the C++ compilation process☆43Updated this week
- Implementation of hash_append proposal☆69Updated 8 years ago
- An intrusive C++17 implementation of a Red-Black-Tree, a Weight Balanced Tree, a Dynamic Segment Tree and much more!☆127Updated last year
- A modern C++ library for efficiently and easily iterating through common combinatorial objects, such as combinations, permutations, parti…☆70Updated 2 years ago
- Compile-time linear algebra in C++☆56Updated 7 years ago
- A simple, single-header-only library, for wrapping text. In C++☆102Updated 6 years ago
- Skeleton for C++ header-only libraries☆118Updated 10 months ago
- Fast containers of polymorphic objects.☆65Updated 3 weeks ago
- C++ STL-like Fibonacci heap and queue for fast priority queues with mutable keys.☆67Updated 2 years ago
- lexertl: The Modular Lexical Analyser Generator☆62Updated 8 months ago
- 💡 Build your own programming language! A C++17 PEG parser generator supporting parser combination, memoization, left-recursion and conte…☆246Updated 3 years ago
- A highly efficient, move-aware operators library☆202Updated 2 years ago
- unmaintained - CMake module to activate certain C++ standard, feature checks and appropriate automated workarounds - basically an improve…☆74Updated 8 years ago
- Compiler of the EDDI programming language☆33Updated 5 months ago
- C++ container graph visualization for lldb.☆23Updated 5 years ago
- Arbitrary-Precision Integer Arithmetic☆202Updated 2 years ago
- Boost.Sort☆52Updated last week
- Intlog - a Prolog interpreter with OO extensions - implemented in C++☆20Updated 2 years ago