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	Sat, 29 Oct 2016 14:48:36 +0000
parents	5f26bbe7eab3
children	c3c1d21c6fa8