sollya(1) on Linux
The text e7de36b3c381, as Debian 13 (Trixie) shipped it. The page shows this text now.
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