S 01c368a5a6338835b73dca325e7ccf00
cc7f733d8a700a4692c9e34575f5ca5b ../../../include/adasat.static/adasat.ads
492712391f3428af39df35bc49e8a3fc ../../../include/adasat.static/adasat.adb
38e7a02a64118c142f768c26571ee287 ../../../lib/adasat.static/adasat.ali
c2c8b1591b68a52cfb9965ffb1e19468 ../../../include/adasat.static/adasat-vectors.ads
9476a701a644d23141211b985b37e086 ../../../include/adasat.static/adasat-vectors.adb
f5fdf0184279573439ad78d6db823f76 ../../../lib/adasat.static/adasat-vectors.ali
fe18dc6cd3ac01bd1e62578cc8997bab ../../../include/adasat.static/adasat-theory.ads
56c17645914272c27322da804fcbcfc7 ../../../lib/adasat.static/adasat-theory.ali
230a08206b9356ca6619951460aa299b ../../../include/adasat.static/adasat-internals.ads
a4dc3b3a07246473343cedb0ca885f9d ../../../lib/adasat.static/adasat-internals.ali
6d844dcb64c3eafe4b8a7231a3647ada ../../../include/adasat.static/adasat-helpers.ads
825bd82f1ffa6cf6752c629772ca1eda ../../../include/adasat.static/adasat-helpers.adb
4860b3519e02a0c3ed1b312444f92b11 ../../../lib/adasat.static/adasat-helpers.ali
81ece099d3ae0dcc274d7686f4e37c4d ../../../include/adasat.static/adasat-formulas.ads
894c052b7d2fd999061908b2b71f65b6 ../../../include/adasat.static/adasat-formulas.adb
77db974270b8fdc9a21f6b7fcfa32eb0 ../../../lib/adasat.static/adasat-formulas.ali
94a8e6db1020b9443e457a3d152a3097 ../../../include/adasat.static/adasat-dpll.ads
496217bbc4d6fa2d9de71881148f2d4d ../../../include/adasat.static/adasat-dpll.adb
8f9ee1042b578eefaabcc4874c1066ea ../../../lib/adasat.static/adasat-dpll.ali
ed65a826d2fa6944400c857c6501a276 ../../../include/adasat.static/adasat-decisions.ads
40403bb71ee66142ce3a549177e1c707 ../../../include/adasat.static/adasat-decisions.adb
72084ee7978015756d7020988e4ec2fd ../../../lib/adasat.static/adasat-decisions.ali
d6bdf3f06c9ceb546cd5f131ed96faed ../../../include/adasat.static/adasat-builders.ads
f8b694b1d4b2e3ed43bbdb452dc2b038 ../../../include/adasat.static/adasat-builders.adb
f3564912a87406ae81c8a029855c7d68 ../../../lib/adasat.static/adasat-builders.ali
b51cb1fb0c4649c659fc590acbe6a950 ../../../lib/adasat.static/libadasat.a
1050aa36d8a03a297d6910f05f91fabf ../../gpr/adasat.gpr
