Razor is a tool for constructing finite models for first-order theories
Primary LanguageRustMIT LicenseMIT