040000 tree a275afcd5c9509aa226efabf3abe0db1cd5fbf89	aig
040000 tree 32952ed9d0ab64df7185cb3be551e5c02c288ac5	base
040000 tree ac007c0b945e687287e1cae7d3db85da67a6f9e2	bdd
040000 tree c1e1eda112657f66284673ade33b0dc088cc4e22	bool
100644 blob eebb8aba0f655b42f95724559214237d3af5e027	demo.c
100644 blob df934f7d43238cd1768a7594d93d9ef4520233a3	generic.c
100644 blob 92fd554b54e9100608b50fa4b3d8c4aedd3608b9	generic.h
040000 tree 8bc56bba69a49793739db94de0ba1caa289081e8	map
040000 tree 76ecd0ff9ac45e9a0f20b25c626f52cedc06c01e	misc
040000 tree e02aaca08880e04a450e5e6b803d927ab6ad81ae	opt
040000 tree 80f9301ac980edb6daa692ca4d4a98cfe5959739	phys
040000 tree eeb97e489aa3a611e67f6439f38db16a651e2013	proof
040000 tree fe8208a95722031eb20bc7d5ebaad948d3915aae	sat
100644 blob 4f831b5d89a72fa39c15ff1c35df5603ba2ce3a5	starter.c
100644 blob 8b79915189a0aeb316e98ee4d77b4e47e0dab5fd	template.c