razor
| Crates.io | razor |
| lib.rs | razor |
| version | 0.1.0 |
| source | src |
| created_at | 2020-01-03 18:21:29.551711 |
| updated_at | 2020-01-03 18:21:29.551711 |
| description | razor is a command-line tool for constructing finite models for first-order theories. |
| homepage | https://github.com/salmans/rusty-razor |
| repository | https://github.com/salmans/rusty-razor |
| max_upload_size | |
| id | 194850 |
| size | 51,410 |
Salman Saghafi (salmans)
documentation
https://salmans.github.io/rusty-razor/intro.html