Ivan-Sergeyev / seymourLinks

This project is about formally verifying Seymour's decomposition theorem for regular matroids.
35Updated 2 weeks ago

Alternatives and similar repositories for seymour

Users that are interested in seymour are comparing it to the libraries listed below

Sorting: