I just tested this out on petsc-dev and it is *much* faster. Looks like it loads everything via threading. My first observation is that it doesn't have a file / directory watcher like Murky does. Might be easy to add that though.<div>
<br></div><div>Sean</div>