040000 tree a659b91f4bac2405f4258bbfc71f22df7a1c1962	aig
040000 tree b0f6e80f6d0722dec8cb5de7a49ba86d9e9a78a3	base
040000 tree f6ad0feda761e0f266cba3bf3ed1b2715e85dabd	bdd
100644 blob a8b1d8c28e3407d02b7b6851bdeb721a8c43a022	generic.c
100644 blob 2a09df71a14323dab9662f128b376ba7f80336b6	generic.h
040000 tree 79a7f83e165e9cf12f0192c62319ef66527a315e	map
040000 tree d426552bc3e774970846203b7ace3f71f9be2178	misc
040000 tree 082513e131be5b235851d8781a13734231a31578	opt
040000 tree 381c46699387db0515d0b0c3820e6930b278135d	phys
040000 tree 8bb616e035d54635cf0bab4639d8329428d21689	sat