ratsat
| Crates.io | ratsat |
| lib.rs | ratsat |
| version | 0.0.1 |
| created_at | 2018-03-29 04:15:53.976922+00 |
| updated_at | 2018-03-29 04:15:53.976922+00 |
| description | MiniSat reimplemented in Rust |
| homepage | https://github.com/qnighy/ratsat |
| repository | https://github.com/qnighy/ratsat |
| max_upload_size | |
| id | 58014 |
| size | 102,331 |
Masaki Hara (qnighy)
documentation
README
RatSat
This is a Rust reimplementation of MiniSat.