;;;; package.lisp
;;
;;;; Copyright (c) 2018 Samuel W. Flint <swflint@flintfam.org>


(defpackage #:lcsp
  (:use #:cl)
  (:export #:<csp>
           #:name
           #:variables
           #:constraints
           #:constraint-checks
           #:<variable>
           #:var-type
           #:domain
           #:<constraint>
           #:adicity
           #:problem
           #:check-constraint
           #:<constraint-extension>
           #:conflictsp
           #:constraints-list
           #:<constraint-intension>
           #:constraint-function
           #:<constraint-combined>))

(defpackage #:lcsp-xcsp-lang
  (:use #:cl
        #:esrap)
  (:import-from #:alexandria
                #:symbolicate)
  (:export #:parse-xcsp-predicate))