next | previous | forward | backward | up | top | index | toc | Macaulay2 website
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

Functions with optional argument named Verbose :