ltscompare(1) on Linux

Flags it lists

• --counter-example
• --debug
• --equivalence
• --help
• --in1
• --in2
• --log-level
• --preorder
• --quiet
• --tau
• --timings
• --verbose
• --version
• -c
• -d
• -e
• -h
• -i
• -j
• -p
• -q
• -v