help2man include file for sollya man page

[DESCRIPTION]
.B sollya
is both a tool environment and a library for safe floating-point code development.
It is particularly targeted to the automated implementation of mathematical floating-point libraries (libm).
Amongst other features, it offers a certified infinity (supremum) norm and a fast Remez algorithm.


[SEE ALSO]
.BR rlwrap (1)
