-
Notifications
You must be signed in to change notification settings - Fork 2
Multithreading
Josh Jeppson edited this page Jul 13, 2022
·
1 revision
Under the multithreading branch, we are working on an asynchronous exploration algorithm which allows multiple threads to work on the state space without mutexes on each state.
The STAMINA software and state-truncation algorithm are developed at Utah State University within Dr. Zhen Zhang's research group. STAMINA/C++ is primarily developed by Joshua Jeppson, BS.
This wiki is outdated! Please visit https://staminachecker.org/documentation/wiki/ for full up-to-date wiki.