The Unimodularity Library is a software library written in C++ that implements an efficient algorithm for testing total unimodularity , based on Seymour's decomposition theorem  for regular matroids. The algorithm runs in O((n+m)5) time and is a simplified version of the cubic algorithm of . The algorithm can also test for the related properties of unimodularity and strong unimodularity. The Unimodularity Library is published under the Boost Software License . It was developed by under supervision of .