Kripke

Brief https://codesign.llnl.gov/kripke.php
Programming languages/paradigms C++
Latest Version 1.1
Web URL https://codesign.llnl.gov/kripke.php
Tarball download URL https://codesign.llnl.gov/downloads/kripke-openmp-1.1.tar.gz
Spack package kripke