sollya
library for safe floating-point code development -- tool
RUN apt-get update && \
apt-get install -y sollya
RUN apt-get update && \
apt-get install -y sollya
RUN apt-get update && \
apt-get install -y sollya
RUN apt-get update && \
apt-get install -y sollya