Commit Graph

2 Commits

Author SHA1 Message Date
kr.angelov
1e44fdb3d3 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
fcd2a2b12a forgot to add reasoner.h 2013-06-26 09:09:54 +00:00