Structs§

  • The “cache” stores results for goals that we have completely solved. Things are added to the cache when we have completely processed their result, and it can be shared amongst many solvers.
  • CacheData 🔒