jollheef/cl-logic

Boolean algebra package for common lisp

View project on GitHub