70fe5c8d7d7d
Update
| author | Steve Losh <steve@stevelosh.com> |
|---|---|
| date | Thu, 25 Aug 2016 16:20:37 +0000 |
| parents | 9aadf6ee2d05 |
| children | 5298f36071d2 |
| branches/tags | (none) |
| files | README.markdown |
Changes
--- a/README.markdown Wed Aug 24 23:22:10 2016 +0000 +++ b/README.markdown Thu Aug 25 16:20:37 2016 +0000 @@ -1229,4 +1229,8 @@ ### 2016-08-24 -* Finished plugging [Temperance][] into the GDL benchmark suite. +* Finished plugging [Temperance][] (and PAIProlog) into the GDL benchmark suite. + +### 2016-08-25 + +* More chatting/printing about BDDs.