040000 tree 6572b1b86f7c91492ebdd21fd67edf697a4c6abc	aig
040000 tree 9ed427f30e59e39e4f853f04b3912703fc620fe4	base
040000 tree aa3b8ef074b17f80f5a2e90fa5fc9c6d85680946	bdd
100755 blob a8b1d8c28e3407d02b7b6851bdeb721a8c43a022	generic.c
100755 blob 2a09df71a14323dab9662f128b376ba7f80336b6	generic.h
040000 tree e9bff6377f4628cfd69abfe808805c17d5a8346b	map
040000 tree b199c9973b414eaafa09aec8efad49e1df5c27a8	misc
040000 tree 07d37973a6dfacdeba152f9bd0cdf94c34cccd85	opt
040000 tree c9028cdb1211489d97986518e66d9a7c612f7336	phys
040000 tree a28e4fdccf4f791667c0a8aa224dea238c09b505	sat