sollya(1) on Linux
The text edd1f4ad462f, as Debian 9 (Stretch) shipped it.
tool environment for safe floating-point code development -- command-line interface
Flags it lists
-
--args -
--donotmodifystacksize -
--flush -
--help -
--nocolor -
--noprompt -
--oldautoprint -
--oldexternalprocprint -
--oldrlwrapcompatible -
--version -
--warnonstderr