Dependencies for what4-1.6.1
library |
|
---|---|
quickstart |
Flags
Manual Flags
Name | Description | Default |
---|---|---|
solvertests | extra tests that require all the solvers to be installed | Disabled |
drealtestdisable | when running solver tests, disable testing using dReal (ignored unless -fsolverTests) | Disabled |
stptestdisable | when running solver tests, disable testing using STP (ignored unless -fsolverTests) | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info