print_formula [-h] | [-v] | [-f ]
In formula mode, the formula as the canonical formula is printed. In verbose mode, the explicit assignments satisfying the formula are printed. Prints the number of satsfying assignments for the given formula.
Command Options: