sollya(1) on Linux
The text 7a04d285a846, as Debian 11 (Bullseye) 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