sat
| Crates.io | sat |
| lib.rs | sat |
| version | 0.1.0 |
| source | src |
| created_at | 2016-01-18 22:27:06.733167 |
| updated_at | 2016-01-18 22:27:06.733167 |
| description | Interface for defining and solving SAT problems |
| homepage | |
| repository | https://github.com/kmcallister/sat |
| max_upload_size | |
| id | 3923 |
| size | 26,223 |
Release Manager (github:chronotope:release-manager)
documentation
https://kmcallister.github.io/docs/sat/sat/index.html
