src/zdd.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 5f26bbe7eab3
(in-package :scully.zdd)

;;;; Library ------------------------------------------------------------------
(define-foreign-library cudd
  (:darwin "./build/libcudd.dylib"))

(use-foreign-library cudd)