2. Kripke
https://github.com/LLNL/Kripke
Kripke source code is near-final at this point. The problem to run is yet to be finalized.
2.1. Purpose
2.2. Characteristics
2.2.1. Problems
2.2.2. Figure of Merit
2.3. Source code modifications
Please see Run Rules Synopsis for general guidance on allowed modifications. For Kripke, we define the following restrictions on source code modifications:
Kripke uses RAJA as the portability library, available at https://github.com/LLNL/RAJA . While source code changes to RAJA can be proposed, RAJA in Kripke may not be removed or replaced with any other library.
Kripke also uses CHAI as a copy-hiding array abstraction to automatically migrate data between memory spaces. CHAI is available at https://github.com/llnl/chai .
Kripke also uses Camp, a compiler agnostic metaprogramming library providing concepts, type operations and tuples for C++ and cuda. Available at https://github.com/llnl/camp .
2.4. Building
2.5. Running
2.6. Validation
2.7. Example Scalability Results
2.8. Memory Usage
2.9. Strong Scaling
Please see El Capitan for El Capitan system description.