Commands/mono

From TNT

mono
Version: 1.1.
Menu path: to do.

mono 
    N    check whether tree(s) N satisfy constraints 
   -N   check whether tree(s) N violate constraints 
    *    same, but reporting group by group