GitHub repository: salmans/rusty-razor
Primary language: Rust
Description: Razor is a tool for constructing finite models for first-order theories