ostrich
Wrapper around ap.CmdlMain, adding the option -stringSolver=ostrich.OstrichStringTheory.
ap.CmdlMain
-stringSolver=ostrich.OstrichStringTheory
The options forwarded to Princess.
The options forwarded to Princess. They will be overwritten by options specified on the command line, so it is possible to provide more specific string solver options on the command line.
Wrapper around
ap.CmdlMain
, adding the option-stringSolver=ostrich.OstrichStringTheory
.