{"name":"sollya","portdir":"science/sollya","version":"8.0","license":"CeCILL-C","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://www.sollya.org/","description":"Sollya is both a tool environment and a library for safe floating-point code development","long_description":"Sollya is both a tool environment and a library for safe floating-point code development. It is particularily targeted to the automatized implementation of mathematical floating-point libraries (libm). Amongst other features, it offers a certified infinity (supremum) norm and a fast Remez algorithm.","active":true,"categories":["science"],"maintainers":[{"name":"kenneth.ostby","github":"langly","ports_count":3}],"variants":["universal"],"dependencies":[{"type":"build","ports":["clang-18"]},{"type":"lib","ports":["gmp","mpfr","zlib","libxml2","fplll","mpfi"]}],"depends_on":[]}