Ivan-Sergeyev / seymourLinks

This project is about formally verifying Seymour's decomposition theorem for regular matroids.
24Updated last week

Alternatives and similar repositories for seymour

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

Sorting: