jeffythedragonslayer / lipton-tarjanLinks
Implementation of the Lipton-Tarjan separator algorithm for planar graphs
☆13Updated 4 years ago
Alternatives and similar repositories for lipton-tarjan
Users that are interested in lipton-tarjan are comparing it to the libraries listed below
Sorting:
- ☆30Updated 2 weeks ago
- ☆11Updated 7 years ago
- The main source code for Regina☆38Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A modern C++ library for efficiently and easily iterating through common combinatorial objects, such as combinations, permutations, parti…☆71Updated 3 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated 2 weeks ago
- An example of C++ Sudoku solver using MiniSat library.☆29Updated 4 years ago
- C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.☆21Updated 2 years ago
- QSopt_ex - an exact linear programming solver. This is a fork adding improvements to the build system, library and a Python interface.☆21Updated 2 years ago
- Lattice-based integer linear programming solver☆65Updated 3 years ago
- The Piranha computer algebra system.☆102Updated 2 years ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆24Updated 5 years ago
- This the open source graph drawing package KaDraw (Karlsruhe Graph Drawing).☆10Updated last year
- metamath proof enumerators and other things☆93Updated 10 months ago
- PRolog Equation Solving System☆30Updated 8 years ago
- data files for comparing optimal transport algorithms☆9Updated 5 years ago
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- COIN-OR Utilities☆48Updated 2 weeks ago
- A C++17 compile-time game☆110Updated 2 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 6 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Norvig's Sudoku solver in C++☆65Updated 3 years ago
- C++ library for bit twiddling☆37Updated 7 years ago
- knot theory and computational algebra software☆37Updated 10 years ago
- Obfuscated c++ which explores trampoline monadic nature of arrow operator.☆8Updated 8 years ago
- Repository for the QED interactive text and possible extensions☆100Updated 4 months ago
- C++ template metaprogramming library collection☆127Updated 9 years ago
- ☆31Updated last month
- A C implementation of Ukkonen's suffix tree-building algorithm, with test suite and tree print.☆21Updated 10 years ago
- Speed of light ray-tracer☆23Updated 7 years ago