Search Package Index

5 packages found

 PackageDescriptionBuild 

biginterval

A racket interface to MPFI, the interval library based on MPFR. http://perso.ens-lyon.fr/nathalie.revol/software.html. You should use the package `rival` instead of this.

This package needs documentation

This package needs tags

This package needs license metadata

succeeds; has failing tests5

egg-herbie

A Herbie component to simplify mathematical expressions using the egg egraph library

This package needs documentation

License:
succeeds; has conflicts4

egg-herbie-linux

A Herbie component to simplify mathematical expressions using the egg egraph library (Linux pre-build package)

This package needs documentation

License:
succeeds; has conflicts; has failing tests5

egg-herbie-osx

A Herbie component to simplify mathematical expressions using the egg egraph library (x86_64 macOS pre-build package)

This package needs documentation

License:
succeeds; has conflicts; has failing tests5

egg-herbie-windows

A Herbie component to simplify mathematical expressions using the egg egraph library (Windows pre-build package)

This package needs documentation

License:
succeeds; has failing tests5