(module info (lib "infotab.ss" "setup")
  (define name "LogicLib")
  (define blurb
    (list "Functions for logic formulas (as s-expr) manipulation."
          "Also includes functions to generate CNF and system interface to SAT solvers."))
  (define categories '(datastructures scientific))
  (define release-notes 
    (list "First pre-alpha library of logic utilities."
          "No docs available. (hope to solve that soon enough)"))
  (define doc.txt "doc.txt")
  (define version "0.01 alpha"))