cprover
Command Line Parsing