pbesconstelm(1) on Linux

Flags it lists

• --compute-conditions
• --debug
• --help
• --in
• --log-level
• --out
• --pbes-rewriter
• --qlimit
• --quiet
• --remove-equations
• --rewriter
• --timings
• --verbose
• --version
• -Q
• -c
• -d
• -e
• -h
• -i
• -o
• -p
• -q
• -r
• -v