The Logic Library

The Logic Library
Oct 09, 2007

This library is still quite unsuable for third parties. 

I'll make an effort to improve it soon enough and write some documentation.

Still, if you want to use it and need some questions answered, 
drop me an email:
Paulo Matos <>