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.
bossen/bdsolver
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
bdsolver - Pseudometric distance solver
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published