| Packages |
| Name | PLaneT Version | External Version | Owner | Description |
|---|---|---|---|---|
| logic.plt | (1 1) | 0.01 alpha | pjmatos | Functions for logic formulas (as s-expr) manipulation.Also includes functions to generate CNF and system interface to SAT solvers. |
| mrtex2im.plt | (1 3) | 0.4 | pjmatos | [no description available] |
| Open tickets |
![[logo]](/logo.png){kind=logo}