1234567891011121314151617181920212223242526272829303132 |
- ;;;; 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))
|