040000 tree c082b6435950ca29478e8aac06e65fc7d9621ad6	aig
040000 tree 140fd617382c185a4bb9854a07363785f341acb6	base
040000 tree f6ad0feda761e0f266cba3bf3ed1b2715e85dabd	bdd
100644 blob a8b1d8c28e3407d02b7b6851bdeb721a8c43a022	generic.c
100644 blob 2a09df71a14323dab9662f128b376ba7f80336b6	generic.h
040000 tree 79a7f83e165e9cf12f0192c62319ef66527a315e	map
040000 tree ec8c260e66f91f72edee557aaad50c8f368d4af0	misc
040000 tree 76f7b0e3a8e42fd7323e8a7819823908f401acc1	opt
040000 tree 381c46699387db0515d0b0c3820e6930b278135d	phys
040000 tree 8bb616e035d54635cf0bab4639d8329428d21689	sat