ratsat-bin
| Crates.io | ratsat-bin |
| lib.rs | ratsat-bin |
| version | 0.0.1 |
| source | src |
| created_at | 2018-03-29 04:17:33.781283 |
| updated_at | 2018-03-29 04:17:33.781283 |
| description | MiniSat reimplemented in Rust |
| homepage | https://github.com/qnighy/ratsat |
| repository | https://github.com/qnighy/ratsat |
| max_upload_size | |
| id | 58015 |
| size | 14,332 |
Masaki Hara (qnighy)
documentation
README
RatSat
This is a Rust reimplementation of MiniSat.