.lispwords @ 016dd6d5f764
Clean up the ZDD reasoner API a little bit
| author | Steve Losh <steve@stevelosh.com> |
|---|---|
| date | Mon, 06 Mar 2017 13:40:27 +0000 |
| parents | 86ab44c2dfa8 |
| children | (none) |
Clean up the ZDD reasoner API a little bit
| author | Steve Losh <steve@stevelosh.com> |
|---|---|
| date | Mon, 06 Mar 2017 13:40:27 +0000 |
| parents | 86ab44c2dfa8 |
| children | (none) |