| To load: | (require (planet pjmatos/logic:1:1/<<file>>)) |
| Old style: | (require (planet "[file]" ("pjmatos" "logic.plt" 1 1))) |
| Package description: | Functions for logic formulas (as s-expr) manipulation.Also includes functions to generate CNF and system interface to SAT solvers. |
| Downloads this week: | 0 |
| Total downloads: | 40 |
| Tickets: | 1 |
| Open tickets: | 0 |
| Primary files: |
| Current version |
| PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
| (1 1) | 0.01 alpha | [browse] | 37 | [docs] | [none] | 2007-10-09 |
| To load: (require (planet pjmatos/logic:1:1/<<file>>)) | ||||||
| Available in repositories: 4.x, 3xx | ||||||
| First pre-alpha library of logic utilities.No docs available. (hope to solve that soon enough) | ||||||
| Old versions |
| PLaneT version | External version | Source | DLs | Docs | Req. PLT | Date added |
| (1 0) | 0.01 alpha | [browse] | 3 | [docs] | [none] | 2007-10-09 |
| To load: (require (planet "[file]" ("pjmatos" "logic.plt" 1 (= 0)))) | ||||||
| Available in repositories: 4.x, 3xx | ||||||
| First pre-alpha library of logic utilities.No docs available. (hope to solve that soon enough) | ||||||
![[logo]](/logo.png){kind=logo}