Packages
NamePLaneT
Version
External
Version
OwnerDescription
 logic.plt(1 1)0.01 alphapjmatosFunctions for logic formulas (as s-expr) manipulation.Also includes functions to generate CNF and system interface to SAT solvers.
 mrtex2im.plt(1 3)0.4pjmatos[no description available]

 Open tickets
No open tickets.