include/adasat/adasat-builders.adb
include/adasat/adasat-builders.ads
include/adasat/adasat-decisions.adb
include/adasat/adasat-decisions.ads
include/adasat/adasat-dpll.adb
include/adasat/adasat-dpll.ads
include/adasat/adasat-formulas.adb
include/adasat/adasat-formulas.ads
include/adasat/adasat-helpers.adb
include/adasat/adasat-helpers.ads
include/adasat/adasat-internals.ads
include/adasat/adasat-theory.ads
include/adasat/adasat-vectors.adb
include/adasat/adasat-vectors.ads
include/adasat/adasat.adb
include/adasat/adasat.ads
lib/adasat/relocatable/libadasat.so
lib/adasat/relocatable/libadasat.so.%%SO_VERSION%%
lib/adasat/static-pic/libadasat.a
lib/adasat/static/libadasat.a
lib/libadasat.so
lib/libadasat.so.%%SO_VERSION%%
libdata/adasat/relocatable/adasat-builders.ali
libdata/adasat/relocatable/adasat-decisions.ali
libdata/adasat/relocatable/adasat-dpll.ali
libdata/adasat/relocatable/adasat-formulas.ali
libdata/adasat/relocatable/adasat-helpers.ali
libdata/adasat/relocatable/adasat-internals.ali
libdata/adasat/relocatable/adasat-theory.ali
libdata/adasat/relocatable/adasat-vectors.ali
libdata/adasat/relocatable/adasat.ali
libdata/adasat/static-pic/adasat-builders.ali
libdata/adasat/static-pic/adasat-decisions.ali
libdata/adasat/static-pic/adasat-dpll.ali
libdata/adasat/static-pic/adasat-formulas.ali
libdata/adasat/static-pic/adasat-helpers.ali
libdata/adasat/static-pic/adasat-internals.ali
libdata/adasat/static-pic/adasat-theory.ali
libdata/adasat/static-pic/adasat-vectors.ali
libdata/adasat/static-pic/adasat.ali
libdata/adasat/static/adasat-builders.ali
libdata/adasat/static/adasat-decisions.ali
libdata/adasat/static/adasat-dpll.ali
libdata/adasat/static/adasat-formulas.ali
libdata/adasat/static/adasat-helpers.ali
libdata/adasat/static/adasat-internals.ali
libdata/adasat/static/adasat-theory.ali
libdata/adasat/static/adasat-vectors.ali
libdata/adasat/static/adasat.ali
share/gpr/adasat.gpr