Dumaiu/CL-CUDD

Common lisp bindings to CUDD. Fork of a fork of a fork of Neronus's original SWIG-based wrapper.

Common LispNOASSERTION

Issues

HACK: Location of `libcudd` hard-coded
#4 opened 3 years ago by Dumaiu
0
Impossible to kill/reload the CUDD manager without CFFI memory errors
#3 opened 3 years ago by Dumaiu
0
GC finalization can corrupt the CUDD unique tables
#1 opened 3 years ago by Dumaiu
1
Rebase `WIP/debug-finalizer/dev` branch
#2 opened 3 years ago by Dumaiu
0