razor-chase
| Crates.io | razor-chase |
| lib.rs | razor-chase |
| version | 0.1.0 |
| created_at | 2020-01-03 18:07:42.713566+00 |
| updated_at | 2020-01-03 18:07:42.713566+00 |
| description | razor-chase implements a variation of The Chase algorithm to find models for theories in geometric form. |
| homepage | https://github.com/salmans/rusty-razor |
| repository | https://github.com/salmans/rusty-razor |
| max_upload_size | |
| id | 194846 |
| size | 173,592 |
Salman Saghafi (salmans)
documentation
https://salmans.github.io/rusty-razor/intro.html