next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
PHCpack :: topWitnessSet(..., Verbose => ...)

topWitnessSet(..., Verbose => ...) -- option to specify whether additional output is wanted

Synopsis

Description

Use Verbose=>true for additional output which includes the input and solution file names used by phc -c.

The output file of phc contains information about the application of the blackbox solver to the embedded system.

Further information