040000 tree 57213988e951776f8adb23d09111aee4eb089274	Basic
040000 tree 338ce76f50f99ec39346f20679bd24e2e0378eb2	Core
040000 tree 4bbc84cee5eb7e050b49b93fda1dfc84f4d9d1be	Expr
100644 blob ec0d1634e312cee192490ccadfa0a000ac1948a9	Makefile
040000 tree fd070e2631ca30de4e20457dce5449c978b003e3	Module
100644 blob 1750d900c854ad4f3ff0b41687702e347b0c6822	README.txt
040000 tree 5f36f7dcd370f070eb906ad1b1bafcd78809fd07	SMT
040000 tree 2df20c03cf0d7f91bffb5b80919b76ee3e330b41	Solver
040000 tree f2982009c90a20efc2b8cac9da94f77ced943c95	Support