Commit Log

fewer more | at revision 80: (0) -30 -10 -6 +6 +10 tip

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
3c9facf27dea	Clean up next-iset computation API	Steve Losh	Sat, 25 Feb 2017 16:17:01 +0000

fewer more | at revision 80: (0) -30 -10 -6 +6 +10 tip