sollya(1) on Linux
The text 03932277fc8e, as Debian 10 (Buster) 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