backtracking / crealLinks

An exact real arithmetic (aka constructive reals) for OCaml
13Updated 11 months ago

Alternatives and similar repositories for creal

Users that are interested in creal are comparing it to the libraries listed below

Sorting: