This is a Rust crate created to do calculations on matroid, and especially calculation of combinatorial derived matroids, see this paper.
There are some examples of the usage in the examples directory.
In the calculated_matroids directory, there are a precalculated combinatorial derived matroid.
This can be loaded, an example of this is the vamos_derived.rs example.
Documentation can be generated by cargo, run
cargo doc --open