bdsolver - Bisimilarity distance solver version '1.151220'

usage: bdsolver [arguments] file        solve the specified file

Arguments:
   -l <lambda>           Defines the lambda. The lambda has to be larger than 0 up to 1.
   -tpsolver <solver>    Defines the transportation solver. Possible arguments are cplex or default.
   -v                    Running verbose logging.
   -m                    Print result as a bisimilarity distance matrix.
   -h                    Shows this description.