gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/nusmv

NuSMV: new symbolic model checker

Screenshots

  • nusmv-2.6.0
    ~amd64 ~x86
    minisat doc zchaff

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo (distro)