New posts in Total Unimodularity

Prove that the matrix is totally unimodular

Has anyone implemented a recognition algorithm for totally unimodular matrices?