sollya(1) on Linux
The text 824e6cc11d0d, as Debian 12 (Bookworm) 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