2 Commits

Author	SHA1	Message	Date
kr.angelov	b08925fd3d	fixes in the C and Python API to make them closer to the Haskell API	2013-08-16 12:44:37 +00:00
kr.angelov	b47dfd9dbb	forgot to add reasoner.h	2013-06-26 09:09:54 +00:00