a-mir-formality icon indicating copy to clipboard operation
a-mir-formality copied to clipboard

Published 20 hours ago • verified publisher icon rust-lang

Model the chalk recursive solver

Open nikomatsakis opened this issue 3 years ago • 0 comments

Currently we have only the cosld solver. We should model the chalk recursive solver.

  • [x] #33
  • [ ] Introduce a recursive solver with canonical goals
  • [ ] #32
  • [ ] Introduce a choice into the hook of which solver to use (?)

nikomatsakis avatar May 18 '22 00:05 nikomatsakis