Merge branch 'kripke_miniapp' into 'master'
Kripke miniapp that utilizes the conduit data adaptor. See merge request !107
Showing
miniapps/kripke/Kripke.h
0 → 100644
Kripke miniapp that utilizes the conduit data adaptor. See merge request !107