<div>Hi All</div>
<div>Is there a way of determining programatically which commandline options are used/not used within petsc?</div>
<div>Alternatively, is there a file which contains all legal commandline options? If so, what is it and what is the format?</div>
<div>&nbsp;</div>
<div>Thanks</div>
<div>Yaron</div>
<div>&nbsp;</div>