logtk

Logic Toolkit
IN THIS PACKAGE