test.carly.search
Functions for running concurrent workers to search for valid worldlines.
search-worldlines
(search-worldlines thread-count model thread-results)Run up to thread-count worker threads to search through worldlines starting from the given model to find valid linearizations of the thread-results.