Last released Jul 19, 2023
A package to prove the existence of non-intersecting realizations of abstract simplicial complexes with specified edge lengths.
Last released Jul 2, 2023
A pure python3 library to solve linear programs using, for example, fractions.
Supported by