hg.stevelosh.com > scully

(in-package :scully.zdd)


(defparameter *cudd-manager*
  (scully.cudd:cudd-init 0
                         0
                         scully.cudd:+cudd-unique-slots+
                         scully.cudd:+cudd-cache-slots+
                         0))
author	Steve Losh <steve@stevelosh.com>
date	Thu, 27 Oct 2016 15:45:42 +0000
parents	71d4c16c607c
children	c3c1d21c6fa8