numerical-domain

There are 3 repositories under numerical-domain topic.

  • pyapron/pyapron

    pyApron: A library for numerical abstract domains manipulation based on Apron

    Language:Python4200

  • seahorn/ldd

    Library for Decision Diagrams over Linear Arithmetic

    Language:C3501

  • seahorn/elina

    Apron Library together with an old version of ELINA (The ETH LIbrary for Numerical Analysis)

    Language:C1512