sat-solver
| Crates.io | sat-solver |
| lib.rs | sat-solver |
| version | 0.1.1 |
| source | src |
| created_at | 2020-05-09 14:10:32.282558 |
| updated_at | 2020-05-25 01:57:21.079654 |
| description | CDCL SAT solver using 2WL and restarts. THIS CRATE IS NO LONGER MANTAINED. Drop me an email if you want me to transfer the name. |
| homepage | |
| repository | |
| max_upload_size | |
| id | 239264 |
| size | 34,127 |
Bobbie Soedirgo (soedirgo)