Commit Log

commit description author date
1a4608813a73 Add some documentation for the reasoner and a few missing functions Steve Losh Sun, 29 Jan 2017 22:07:19 +0000
a07961309f28 Add the reasoner Steve Losh Sun, 29 Jan 2017 12:53:28 +0000