crates.io : razor
razor is a command-line tool for constructing finite models for first-order theories.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/razor
Keywords:
razor
, model-finder
, chase
, logic
, geometric-logic
, model-finding
, rust-lang
, theorem-proving
License: MIT
Latest release: over 5 years ago
First release: over 5 years ago
Downloads: 1,493 total
Stars: 55 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 10 days ago
Loading...
Readme
Loading...