|
8b62550cc554
|
Add CUDD building to makefile
|
Steve Losh |
Thu, 27 Oct 2016 14:34:01 +0000 |
|
06c36649ced9
|
Add build to .hgignore.
|
Steve Losh |
Thu, 27 Oct 2016 14:33:44 +0000 |
|
67daea4e67cb
|
Don't bother using uninterned keyword symbols
|
Steve Losh |
Thu, 27 Oct 2016 14:18:14 +0000 |
|
80c4579fefce
|
Add ZDD package
|
Steve Losh |
Thu, 27 Oct 2016 14:16:07 +0000 |
|
b21cde7784a1
|
Push rule tree head sets into leaves
|
Steve Losh |
Thu, 13 Oct 2016 22:34:04 +0000 |
|
183f355ca260
|
Initial sketch of rule trees
|
Steve Losh |
Thu, 13 Oct 2016 22:23:47 +0000 |
|
af5f6401a5c7
|
Add tree.png to .hgignore.
|
Steve Losh |
Thu, 13 Oct 2016 22:23:39 +0000 |
|
144bae0818af
|
More grounding
|
Steve Losh |
Thu, 13 Oct 2016 12:36:28 +0000 |
|
90dd275f6e81
|
Add grounded GDL dumping util
|
Steve Losh |
Tue, 04 Oct 2016 12:43:20 +0000 |
|
d21ec254ff4e
|
Use the grounder in the vanilla random player
|
Steve Losh |
Thu, 29 Sep 2016 16:33:29 +0000 |
|
db764ac2697b
|
Wrap up the fluxplayer based grounding
|
Steve Losh |
Tue, 27 Sep 2016 12:53:16 +0000 |
|
b261c086fa4e
|
Start working on fluxplayer grounder
|
Steve Losh |
Mon, 26 Sep 2016 15:11:52 +0000 |
|
167ffd6a7a6a
|
Lisp grounder, work-in-progress
|
Steve Losh |
Mon, 26 Sep 2016 12:27:26 +0000 |
|
39b13193bce2
|
Fix and/or stuff
|
Steve Losh |
Sat, 24 Sep 2016 15:56:44 +0000 |
|
6281f8557971
|
Add GDL-II player
|
Steve Losh |
Fri, 16 Sep 2016 14:01:40 +0000 |
|
86ab44c2dfa8
|
Tear out socket bullshit and implement the random player
|
Steve Losh |
Wed, 14 Sep 2016 16:12:55 +0000 |