razor (cargo): razor is a command-line tool for constructing finite models for first-order theories.
Keywords: logic|chase|model-finder|razor|geometric-logic|model-finding|rust-lang|theorem-proving