README

   1 This is a swig/cffi wrapper around University of Colorado at Boulder's CUDD
   2 library. It is a work-in-progress, but works for me with Allegro CL and SBCL
   3 on linux/intel 32bit and 64bit.
   4
   5 The wrapper code is released under the Lisp Lesser GPL, see
   6 <http://opensource.franz.com/preamble.html>.
   7
   8 A complete distribution of cudd-2.4.2 is enclosed in the distr/ subdirectory
   9 for convenience. See distr/LICENSE for the cudd license.
  10
  11 Utz-Uwe Haus
  12 <lisp@uuhaus.de>
  13 Fri May 28 15:25:10 CEST 2010
  14