hg.stevelosh.com > scully

package.lisp @ 71d4c16c607c 

Load CUDD as a CFFI lib
author Steve Losh <steve@stevelosh.com>
date Thu, 27 Oct 2016 14:38:18 +0000
parents 67daea4e67cb
children c3c1d21c6fa8 
(defpackage :scully.gdl
  (:use
    :cl
    :losh
    :iterate
    :cl-arrows
    :temperance
    :scully.quickutils)
  (:export
    :read-gdl
    :load-rules
    :redump-gdl))

(defpackage :scully.rule-trees
  (:use
    :cl
    :losh
    :iterate
    :cl-arrows
    :scully.quickutils)
  (:export))

(defpackage :scully.zdd
  (:use
    :cl
    :losh
    :iterate
    :cl-arrows
    :cffi
    :scully.quickutils)
  (:export))

(defpackage :scully.reasoners.prolog
  (:use
    :cl
    :losh
    :iterate
    :cl-arrows
    :temperance
    :scully.quickutils)
  (:export
    :prolog-reasoner
    :make-prolog-reasoner
    :load-rules
    :initial-state
    :terminalp
    :next-state
    :legal-moves-for
    :percepts-for
    :roles
    ))

(defpackage :scully.grounders.prolog
  (:use
    :cl
    :losh
    :iterate
    :optima
    :cl-arrows
    :temperance
    :scully.quickutils)
  (:export
    ))

(defpackage :scully.grounders.fluxplayer
  (:use
    :cl
    :losh
    :iterate
    :cl-arrows
    :smug
    :scully.quickutils)
  (:export
    :ground-gdl-file
    :ground-gdl-string))

(defpackage :scully.players.random
  (:use
    :cl
    :losh
    :iterate
    :cl-arrows
    :scully.quickutils
    :scully.reasoners.prolog)
  (:export
    ))

(defpackage :scully.players.random-ii
  (:use
    :cl
    :losh
    :iterate
    :cl-arrows
    :scully.quickutils
    :scully.reasoners.prolog)
  (:export
    ))