hg.stevelosh.com > sand

.lispwords @ 7eb23163afcf 

Use cl-adt to massively simplify BDDs
author Steve Losh <steve@stevelosh.com>
date Sun, 21 Aug 2016 18:14:23 +0000
parents d1c9ad7b7774
children 09407f2a9764 
(1 spit)
(1 recursively)
(1 just-once)
(1 bdd-case)