Commit Log
| commit | description | author | date |
|---|---|---|---|
| 77a187682a5d | Commit and finalize the rule splitting stuff | Steve Losh | Sun, 07 May 2017 16:05:34 +0000 |
| 3f23f6b95cac | Fix parsing to not be recursive | Steve Losh | Tue, 14 Mar 2017 16:35:43 +0000 |
| 49fd0e0e0c80 | Add LICENSE | Steve Losh | Tue, 14 Mar 2017 13:36:54 +0000 |
| 3777bd117949 | Commit the last week of work, lol | Steve Losh | Tue, 14 Mar 2017 13:36:38 +0000 |
| 016dd6d5f764 | Clean up the ZDD reasoner API a little bit | Steve Losh | Mon, 06 Mar 2017 13:40:27 +0000 |