razor-chase (cargo): razor-chase implements a variation of The Chase algorithm to find models for theories in geometric form.
Keywords: logic|geometric|chase|model-finder|razor|geometric-logic|model-finding|rust-lang|theorem-proving