The library for testing total unimodularity has been incorporated into the Combinatorial Matrix Recognition library, which is available at http://discopt.github.io/cmr/.
The library for testing total unimodularity has been incorporated into the Combinatorial Matrix Recognition library, which is available at http://discopt.github.io/cmr/.