/src/reasoners/ @ 41b2461432fc

name size
[up]
file prolog.lisp 5786
file zdd.lisp 10398