ddnnife
| Crates.io | ddnnife |
| lib.rs | ddnnife |
| version | 0.10.0 |
| created_at | 2025-09-12 11:32:20.034439+00 |
| updated_at | 2025-09-12 11:32:20.034439+00 |
| description | d-DNNF toolkit |
| homepage | |
| repository | https://github.com/SoftVarE-Group/d-dnnf-reasoner |
| max_upload_size | |
| id | 1835591 |
| size | 3,184,363 |
Jan Baudisch (uulm-janbaudisch)