propositional-tableau-solver-rs
| Crates.io | propositional-tableau-solver-rs |
| lib.rs | propositional-tableau-solver-rs |
| version | 0.1.0 |
| source | src |
| created_at | 2020-04-24 11:27:06.70313 |
| updated_at | 2020-04-24 11:27:06.70313 |
| description | Propositional tableau solver for propositional formulas |
| homepage | |
| repository | |
| max_upload_size | |
| id | 233634 |
| size | 79,561 |
许杰友 Jieyou Xu (Joe) (jieyouxu)