S 01c368a5a6338835b73dca325e7ccf00
d4a13bb84cbddd5abb814bb5b6e3b263 ../../../include/adasat.static/adasat.ads
08f9e587f768681afd0b7ced191c5b31 ../../../include/adasat.static/adasat.adb
59de20ab1b7cdedf3a44a2cf03f71a17 ../../../lib/adasat.static/adasat.ali
c2c8b1591b68a52cfb9965ffb1e19468 ../../../include/adasat.static/adasat-vectors.ads
9476a701a644d23141211b985b37e086 ../../../include/adasat.static/adasat-vectors.adb
d9a3da3495953a107d1471199ce65297 ../../../lib/adasat.static/adasat-vectors.ali
fe18dc6cd3ac01bd1e62578cc8997bab ../../../include/adasat.static/adasat-theory.ads
22cb1c09c7d20138f246a979fdcd6018 ../../../lib/adasat.static/adasat-theory.ali
230a08206b9356ca6619951460aa299b ../../../include/adasat.static/adasat-internals.ads
0d3c4e7d585f21f6ed71435101dada98 ../../../lib/adasat.static/adasat-internals.ali
6d844dcb64c3eafe4b8a7231a3647ada ../../../include/adasat.static/adasat-helpers.ads
825bd82f1ffa6cf6752c629772ca1eda ../../../include/adasat.static/adasat-helpers.adb
44853ab30c6b1ea9ee5331ecd31edd2d ../../../lib/adasat.static/adasat-helpers.ali
81ece099d3ae0dcc274d7686f4e37c4d ../../../include/adasat.static/adasat-formulas.ads
894c052b7d2fd999061908b2b71f65b6 ../../../include/adasat.static/adasat-formulas.adb
de815eb9e291774110399136f452b2a9 ../../../lib/adasat.static/adasat-formulas.ali
94a8e6db1020b9443e457a3d152a3097 ../../../include/adasat.static/adasat-dpll.ads
62b86140f3603a44af4eb8c1cdad5320 ../../../include/adasat.static/adasat-dpll.adb
174fc3c41a503cbe4726d60b808ab80b ../../../lib/adasat.static/adasat-dpll.ali
ed65a826d2fa6944400c857c6501a276 ../../../include/adasat.static/adasat-decisions.ads
40403bb71ee66142ce3a549177e1c707 ../../../include/adasat.static/adasat-decisions.adb
4c76c02038e55b77332ac9809a2f2e1b ../../../lib/adasat.static/adasat-decisions.ali
d6bdf3f06c9ceb546cd5f131ed96faed ../../../include/adasat.static/adasat-builders.ads
f8b694b1d4b2e3ed43bbdb452dc2b038 ../../../include/adasat.static/adasat-builders.adb
2dc32ab6acd0deaada87705abe7d9b3c ../../../lib/adasat.static/adasat-builders.ali
13dc799177d34bc1f209db653325c722 ../../../lib/adasat.static/libadasat.a
699a7655335b9769bad8822423a5c3e1 ../../gpr/adasat.gpr
