Commit Graph

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