100644 blob 3511b3bd39e7f6194e6e385deab8eef799a83452	cloud.c
100644 blob a5db0e68894c3e71ee3592738300cc6349fd861d	cloud.h
100644 blob 15b27fad125f864893f101ccee3ae2bb01f762ef	kit.h
100644 blob 7db335f68da657da333250b3c183b252303c7893	kitAig.c
100644 blob 8625791d6a1251e575606f9f573634e2d2d88464	kitBdd.c
100644 blob dea56749418c2967f047dd242ea6a5fa38fded37	kitCloud.c
100644 blob 1da35e7390ae11402ec6118d5ad92552d5b57f78	kitDec.c
100644 blob 07c16f12af4c2accb0239ac6546d501f21519277	kitDsd.c
100644 blob ec4775ca461445009f8d930b5375a0a9a373b9e1	kitFactor.c
100644 blob e4eea885ccc264619cbd0047f73a9206ef939f88	kitGraph.c
100644 blob a159a05a676f53908d6ef7110198da252f1dbde4	kitHop.c
100644 blob 506da2e5cb52fc45a721e84e292d8985b183f82f	kitIsop.c
100644 blob 16f5746d75af67bdbae214e05eec0cbdee32905a	kitPerm.c
100644 blob 9ae2b2c09d757cc81031d2f1dfe5c1fb04742325	kitPla.c
100644 blob f6e33496ff3b85c457ba12c77b3a5e98be54f151	kitSop.c
100644 blob 87b28135497e6e6d9064100e3533e21aea4c1a55	kitTruth.c
100644 blob 37be0b49ff37d988918768f1eacd40f5d108713d	kit_.c
100644 blob ac29f1f71f1440e0f2800a222397ed2f36434b44	module.make