Kripke

Short Description

https://codesign.llnl.gov/kripke.php

Programming Languages/Paradigms

C++

Website URL

https://codesign.llnl.gov/kripke.php

Source Code (tar/zip) URL

https://computing.llnl.gov/projects/co-design/download/kripke-openmp-1.1.tar.gz

Release/Version Number

1.1

Spack Package Name

kripke