Updated 2014-12-28 15:16:13 by dkf

Package for doing reasoning using [Datalog] and [BDD]s. Principally to support tclquadcode, but potentially useful elsewhere too.

https://chiselapp.com/user/kbk/repository/tclbdd