;; -*-lisp-*-

;; This declares the Logic libreary

(library
 (name logic)
 (public_name acgtk.logic)
 (libraries
  logs
  utilsLib ; internal library
  ))

(documentation
 (package acgtk))
