graph-algorithms / edge-addition-planarity-suiteLinks
☆37Updated last month
Alternatives and similar repositories for edge-addition-planarity-suite
Users that are interested in edge-addition-planarity-suite are comparing it to the libraries listed below
Sorting:
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated 2 months ago
- Embedded algebraic number fields☆14Updated last month
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 4 months ago
- The Piranha computer algebra system.☆105Updated 3 years ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆11Updated 2 years ago
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 4 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆70Updated last week
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆21Updated this week
- The Chuffed CP solver☆118Updated this week
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Updated 3 years ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆25Updated 5 years ago
- Graph Grammar Library☆26Updated 8 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆85Updated 3 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆59Updated 2 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- Generic Constraint Development Environment☆315Updated last month
- a Sparse Direct Solver modulo p☆29Updated last year
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆113Updated this week
- Givaro - C++ library for arithmetic and algebraic computations☆53Updated 4 months ago
- Multiprecision Polynomial Solver☆43Updated 4 months ago
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆29Updated last year
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆93Updated this week
- Planar graph algorithms☆42Updated last year
- Fast combinatorics in C++ using SSE/AVX instruction sets☆17Updated last month
- LattE integrale, software for counting lattice points and integration over convex polytopes☆50Updated 8 months ago
- Simplicial topology in Python☆39Updated 8 months ago
- 🚀 Sum of the primes below x☆39Updated 3 years ago
- Successor to PolyBoRi☆22Updated 3 months ago
- Recursive LAPACK Collection☆44Updated 3 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated this week