S 01c368a5a6338835b73dca325e7ccf00
cc7f733d8a700a4692c9e34575f5ca5b ../../../include/adasat.static\adasat.ads
492712391f3428af39df35bc49e8a3fc ../../../include/adasat.static\adasat.adb
553a34f3b4ad49845a78442c252f158b ../../../lib/adasat.static\adasat.ali
c2c8b1591b68a52cfb9965ffb1e19468 ../../../include/adasat.static\adasat-vectors.ads
9476a701a644d23141211b985b37e086 ../../../include/adasat.static\adasat-vectors.adb
ea4df3ce7bcd94586018455f83b3e2e7 ../../../lib/adasat.static\adasat-vectors.ali
fe18dc6cd3ac01bd1e62578cc8997bab ../../../include/adasat.static\adasat-theory.ads
dad028e73a5cfaf260a6925ec1d13f9c ../../../lib/adasat.static\adasat-theory.ali
230a08206b9356ca6619951460aa299b ../../../include/adasat.static\adasat-internals.ads
efe9feb5df7e926b1ee190a27d339e8e ../../../lib/adasat.static\adasat-internals.ali
6d844dcb64c3eafe4b8a7231a3647ada ../../../include/adasat.static\adasat-helpers.ads
825bd82f1ffa6cf6752c629772ca1eda ../../../include/adasat.static\adasat-helpers.adb
f42aeee158b77e6eb8d10d0f0fd183c9 ../../../lib/adasat.static\adasat-helpers.ali
81ece099d3ae0dcc274d7686f4e37c4d ../../../include/adasat.static\adasat-formulas.ads
894c052b7d2fd999061908b2b71f65b6 ../../../include/adasat.static\adasat-formulas.adb
2a552de0921d2f5cddbd39544154ad7a ../../../lib/adasat.static\adasat-formulas.ali
94a8e6db1020b9443e457a3d152a3097 ../../../include/adasat.static\adasat-dpll.ads
496217bbc4d6fa2d9de71881148f2d4d ../../../include/adasat.static\adasat-dpll.adb
28101ba069e46cde138dce32554d58e5 ../../../lib/adasat.static\adasat-dpll.ali
ed65a826d2fa6944400c857c6501a276 ../../../include/adasat.static\adasat-decisions.ads
40403bb71ee66142ce3a549177e1c707 ../../../include/adasat.static\adasat-decisions.adb
fd3cf037012101ef853557e9e1537911 ../../../lib/adasat.static\adasat-decisions.ali
d6bdf3f06c9ceb546cd5f131ed96faed ../../../include/adasat.static\adasat-builders.ads
f8b694b1d4b2e3ed43bbdb452dc2b038 ../../../include/adasat.static\adasat-builders.adb
5a8b1a9291f0ae97d650955d471e0e40 ../../../lib/adasat.static\adasat-builders.ali
01aff4ffb2622339b46aebb9f2929b7b ../../../lib/adasat.static\libadasat.a
3ba8a4b9ca87e31baf810eb92ac37bd8 ../../gpr\adasat.gpr
cc7f733d8a700a4692c9e34575f5ca5b ../../../include/adasat.static-pic\adasat.ads
492712391f3428af39df35bc49e8a3fc ../../../include/adasat.static-pic\adasat.adb
553a34f3b4ad49845a78442c252f158b ../../../lib/adasat.static-pic\adasat.ali
c2c8b1591b68a52cfb9965ffb1e19468 ../../../include/adasat.static-pic\adasat-vectors.ads
9476a701a644d23141211b985b37e086 ../../../include/adasat.static-pic\adasat-vectors.adb
ea4df3ce7bcd94586018455f83b3e2e7 ../../../lib/adasat.static-pic\adasat-vectors.ali
fe18dc6cd3ac01bd1e62578cc8997bab ../../../include/adasat.static-pic\adasat-theory.ads
dad028e73a5cfaf260a6925ec1d13f9c ../../../lib/adasat.static-pic\adasat-theory.ali
230a08206b9356ca6619951460aa299b ../../../include/adasat.static-pic\adasat-internals.ads
efe9feb5df7e926b1ee190a27d339e8e ../../../lib/adasat.static-pic\adasat-internals.ali
6d844dcb64c3eafe4b8a7231a3647ada ../../../include/adasat.static-pic\adasat-helpers.ads
825bd82f1ffa6cf6752c629772ca1eda ../../../include/adasat.static-pic\adasat-helpers.adb
f42aeee158b77e6eb8d10d0f0fd183c9 ../../../lib/adasat.static-pic\adasat-helpers.ali
81ece099d3ae0dcc274d7686f4e37c4d ../../../include/adasat.static-pic\adasat-formulas.ads
894c052b7d2fd999061908b2b71f65b6 ../../../include/adasat.static-pic\adasat-formulas.adb
2a552de0921d2f5cddbd39544154ad7a ../../../lib/adasat.static-pic\adasat-formulas.ali
94a8e6db1020b9443e457a3d152a3097 ../../../include/adasat.static-pic\adasat-dpll.ads
496217bbc4d6fa2d9de71881148f2d4d ../../../include/adasat.static-pic\adasat-dpll.adb
28101ba069e46cde138dce32554d58e5 ../../../lib/adasat.static-pic\adasat-dpll.ali
ed65a826d2fa6944400c857c6501a276 ../../../include/adasat.static-pic\adasat-decisions.ads
40403bb71ee66142ce3a549177e1c707 ../../../include/adasat.static-pic\adasat-decisions.adb
fd3cf037012101ef853557e9e1537911 ../../../lib/adasat.static-pic\adasat-decisions.ali
d6bdf3f06c9ceb546cd5f131ed96faed ../../../include/adasat.static-pic\adasat-builders.ads
f8b694b1d4b2e3ed43bbdb452dc2b038 ../../../include/adasat.static-pic\adasat-builders.adb
5a8b1a9291f0ae97d650955d471e0e40 ../../../lib/adasat.static-pic\adasat-builders.ali
785a0a1cabdba5e2fdc12350154c6536 ../../../lib/adasat.static-pic\libadasat.a
fc5bacbab84e0734004acbd14eae1fed ../../gpr\adasat.gpr
cc7f733d8a700a4692c9e34575f5ca5b ../../../include/adasat.relocatable\adasat.ads
492712391f3428af39df35bc49e8a3fc ../../../include/adasat.relocatable\adasat.adb
553a34f3b4ad49845a78442c252f158b ../../../lib/adasat.relocatable\adasat.ali
c2c8b1591b68a52cfb9965ffb1e19468 ../../../include/adasat.relocatable\adasat-vectors.ads
9476a701a644d23141211b985b37e086 ../../../include/adasat.relocatable\adasat-vectors.adb
ea4df3ce7bcd94586018455f83b3e2e7 ../../../lib/adasat.relocatable\adasat-vectors.ali
fe18dc6cd3ac01bd1e62578cc8997bab ../../../include/adasat.relocatable\adasat-theory.ads
dad028e73a5cfaf260a6925ec1d13f9c ../../../lib/adasat.relocatable\adasat-theory.ali
230a08206b9356ca6619951460aa299b ../../../include/adasat.relocatable\adasat-internals.ads
efe9feb5df7e926b1ee190a27d339e8e ../../../lib/adasat.relocatable\adasat-internals.ali
6d844dcb64c3eafe4b8a7231a3647ada ../../../include/adasat.relocatable\adasat-helpers.ads
825bd82f1ffa6cf6752c629772ca1eda ../../../include/adasat.relocatable\adasat-helpers.adb
f42aeee158b77e6eb8d10d0f0fd183c9 ../../../lib/adasat.relocatable\adasat-helpers.ali
81ece099d3ae0dcc274d7686f4e37c4d ../../../include/adasat.relocatable\adasat-formulas.ads
894c052b7d2fd999061908b2b71f65b6 ../../../include/adasat.relocatable\adasat-formulas.adb
2a552de0921d2f5cddbd39544154ad7a ../../../lib/adasat.relocatable\adasat-formulas.ali
94a8e6db1020b9443e457a3d152a3097 ../../../include/adasat.relocatable\adasat-dpll.ads
496217bbc4d6fa2d9de71881148f2d4d ../../../include/adasat.relocatable\adasat-dpll.adb
28101ba069e46cde138dce32554d58e5 ../../../lib/adasat.relocatable\adasat-dpll.ali
ed65a826d2fa6944400c857c6501a276 ../../../include/adasat.relocatable\adasat-decisions.ads
40403bb71ee66142ce3a549177e1c707 ../../../include/adasat.relocatable\adasat-decisions.adb
fd3cf037012101ef853557e9e1537911 ../../../lib/adasat.relocatable\adasat-decisions.ali
d6bdf3f06c9ceb546cd5f131ed96faed ../../../include/adasat.relocatable\adasat-builders.ads
f8b694b1d4b2e3ed43bbdb452dc2b038 ../../../include/adasat.relocatable\adasat-builders.adb
5a8b1a9291f0ae97d650955d471e0e40 ../../../lib/adasat.relocatable\adasat-builders.ali
3ab1239d6fe227328b2097c16fb3497c ../../../lib/adasat.relocatable\libadasat.dll
3ab1239d6fe227328b2097c16fb3497c ../../../bin\libadasat.dll
7537f75a8d81a57d5008f1b0dbea1e9d ../../gpr\adasat.gpr
