| SRC += src/bool/kit/kitAig.c \ | |
| src/bool/kit/kitBdd.c \ | |
| src/bool/kit/kitCloud.c src/bool/kit/cloud.c \ | |
| src/bool/kit/kitDsd.c \ | |
| src/bool/kit/kitFactor.c \ | |
| src/bool/kit/kitGraph.c \ | |
| src/bool/kit/kitHop.c \ | |
| src/bool/kit/kitIsop.c \ | |
| src/bool/kit/kitPla.c \ | |
| src/bool/kit/kitSop.c \ | |
| src/bool/kit/kitTruth.c |