V "GNAT Lib v13"
A -Ofast
A -O2
A -gnatA
A -gnatwa
A -gnatyg
A -fPIC
A -g
A -gnatp
A -gnatn2
A -flto
A -mtune=nocona
A -march=nocona
P SS ZX

RN
RV NO_ALLOCATORS
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ASPECT_SPECIFICATIONS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_LOOPS
RV NO_ELABORATION_CODE

U adasat.helpers%b	adasat-helpers.adb	45ef498c OO PK
W ada%s			ada.ads			ada.ali
Z ada.exceptions%s	a-except.adb		a-except.ali
Z ada.streams%s		a-stream.adb		a-stream.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
Z ada.unchecked_conversion%s
W adasat%s		adasat.adb		adasat.ali
Z adasat.decisions%s	adasat-decisions.adb	adasat-decisions.ali
W adasat.dpll%s		adasat-dpll.adb		adasat-dpll.ali  ED
Z adasat.formulas%s	adasat-formulas.adb	adasat-formulas.ali
Z adasat.internals%s	adasat-internals.ads	adasat-internals.ali
W adasat.theory%s	adasat-theory.ads	adasat-theory.ali
Z adasat.vectors%s	adasat-vectors.adb	adasat-vectors.ali  ED
Z system%s		system.ads		system.ali
Z system.memory%s	s-memory.adb		s-memory.ali
Z system.put_images%s	s-putima.adb		s-putima.ali
Z system.return_stack%s	s-retsta.ads		s-retsta.ali
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali
Z system.storage_elements%s  s-stoele.adb	s-stoele.ali
Z system.stream_attributes%s  s-stratt.adb	s-stratt.ali

U adasat.helpers%s	adasat-helpers.ads	6a700641 EE NE OO PK
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
W adasat%s		adasat.adb		adasat.ali
W adasat.formulas%s	adasat-formulas.adb	adasat-formulas.ali

D ada.ads		20250605160258 76789da1 ada%s
D a-assert.ads		20250605160258 ba465f5c ada.assertions%s
D a-charac.ads		20250605160258 2d3ec45b ada.characters%s
D a-chlat1.ads		20250605160258 e0d72e76 ada.characters.latin_1%s
D a-except.ads		20250605160258 2a7d8d70 ada.exceptions%s
D a-finali.ads		20250605160258 bf4f806b ada.finalization%s
D a-ioexce.ads		20250605160258 40018c65 ada.io_exceptions%s
D a-numeri.ads		20250605160258 84bea7a3 ada.numerics%s
D a-nubinu.ads		20250605160258 93f1f3d1 ada.numerics.big_numbers%s
D a-nbnbig.ads		20250605160258 711e0174 ada.numerics.big_numbers.big_integers_ghost%s
D a-stream.ads		20250605160258 119b8fb3 ada.streams%s
D a-string.ads		20250605160258 90ac6797 ada.strings%s
D a-strmap.ads		20250605160258 ed8acfdb ada.strings.maps%s
D a-sttebu.ads		20250605160258 f1ad67a2 ada.strings.text_buffers%s
D a-strunb.ads		20250605160258 7bfb7010 ada.strings.unbounded%s
D a-stuten.ads		20250605160258 c6ced0ae ada.strings.utf_encoding%s
D a-tags.ads		20250605160258 9eaa38c6 ada.tags%s
D a-unccon.ads		20250605160258 0e9b276f ada.unchecked_conversion%s
D a-uncdea.ads		20250605160258 c3a8ac65 ada.unchecked_deallocation%s
D adasat.ads		20230926141706 f1ce6070 adasat%s
D adasat.adb		20230926141706 61577f35 adasat%b
D adasat-decisions.ads	20230926141706 5f1f97bd adasat.decisions%s
D adasat-dpll.ads	20230926141706 0eb0d865 adasat.dpll%s
D adasat-dpll.adb	20230926141706 0cd7f5f9 adasat.dpll%b
D adasat-formulas.ads	20230926141706 e38b3bcc adasat.formulas%s
D adasat-formulas.adb	20230926141706 e80bcb7b adasat.formulas%b
D adasat-helpers.ads	20230926141706 78355dfd adasat.helpers%s
D adasat-helpers.adb	20230926141706 c751a20c adasat.helpers%b
D adasat-internals.ads	20230926141706 ccca0a79 adasat.internals%s
D adasat-theory.ads	20230926141706 f43b6e18 adasat.theory%s
D adasat-vectors.ads	20230926141706 cb02d9e8 adasat.vectors%s
D adasat-vectors.adb	20230926141706 771ed090 adasat.vectors%b
D interfac.ads		20250605160258 15f799c2 interfaces%s
D system.ads		20250605160258 db5ec672 system%s
D s-assert.ads		20250605160258 9c4520c7 system.assertions%s
D s-atocou.ads		20250605160258 dc18efc3 system.atomic_counters%s
D s-casuti.ads		20250605160258 cf13d755 system.case_util%s
D s-exctab.ads		20250605160258 91bef6ef system.exception_table%s
D s-finroo.ads		20250605160258 4ff27390 system.finalization_root%s
D s-imagei.ads		20250605160258 c707dfd0 system.image_i%s
D s-imgint.ads		20250605160258 d4a52a9b system.img_int%s
D s-memory.ads		20250605160258 5b8432d0 system.memory%s
D s-parame.ads		20250605160258 d494a4a6 system.parameters%s
D s-putima.ads		20250605160258 17291fe4 system.put_images%s
D s-retsta.ads		20250605160258 0f6b06cb system.return_stack%s
D s-secsta.ads		20250605160258 578279f5 system.secondary_stack%s
D s-soflin.ads		20250605160258 df77073e system.soft_links%s
D s-stache.ads		20250605160258 0b81c1fe system.stack_checking%s
D s-stalib.ads		20250605160258 1c9580f6 system.standard_library%s
D s-stoele.ads		20250605160258 ab5468e4 system.storage_elements%s
D s-stoele.adb		20250605160258 8f5a9db6 system.storage_elements%b
D s-stratt.ads		20250605160258 f7dfd786 system.stream_attributes%s
D s-stratt.adb		20250605160258 c8964632 system.stream_attributes%b
D s-statxd.ads		20250605160258 b54789f6 system.stream_attributes.xdr%s
D s-traent.ads		20250605160258 c81cbf8c system.traceback_entries%s
D s-unstyp.ads		20250605160258 fa2a7f59 system.unsigned_types%s
D s-valint.ads		20250605160258 1f610d7a system.val_int%s
D s-valuns.ads		20250605160258 e8a1f424 system.val_uns%s
D s-valuti.ads		20250605160258 fcd603d8 system.val_util%s
D s-valuei.ads		20250605160258 11081e09 system.value_i%s
D s-vaispe.ads		20250605160258 44130d39 system.value_i_spec%s
D s-valueu.ads		20250605160258 18770347 system.value_u%s
D s-vauspe.ads		20250605160258 a67b2f28 system.value_u_spec%s
D s-widuns.ads		20250605160258 866a5800 system.wid_uns%s
D s-widthu.ads		20250605160258 b32f15e2 system.width_u%s
G a e
G c b b b [b adasat__helpers 10 1 none]
G c Z s b [dpll_solve adasat__helpers 14 13 none]
G c Z b b [empty_contextIP adasat__helpers 11 9 none]
G c Z b b [empty_theory_check adasat__helpers 15 13 none]
G c Z b b [solve adasat__helpers__sat 32 13 31_4]
G c Z b b [watcherIP adasat__helpers__sat 16 9 31_4]
G c Z b b [watcher_arrayIP adasat__helpers__sat 42 9 31_4]
G c Z b b [is_empty adasat__helpers__sat__watcher_vectors 41 13 44_4_31_4]
G c Z b b [append adasat__helpers__sat__watcher_vectors 45 14 44_4_31_4]
G c Z b b [reserve adasat__helpers__sat__watcher_vectors 49 14 44_4_31_4]
G c Z b b [get adasat__helpers__sat__watcher_vectors 54 13 44_4_31_4]
G c Z b b [get_access adasat__helpers__sat__watcher_vectors 59 13 44_4_31_4]
G c Z b b [set adasat__helpers__sat__watcher_vectors 64 14 44_4_31_4]
G c Z b b [destroy adasat__helpers__sat__watcher_vectors 68 14 44_4_31_4]
G c Z b b [clear adasat__helpers__sat__watcher_vectors 72 14 44_4_31_4]
G c Z b b [first_element adasat__helpers__sat__watcher_vectors 77 13 44_4_31_4]
G c Z b b [last_element adasat__helpers__sat__watcher_vectors 81 13 44_4_31_4]
G c Z b b [length adasat__helpers__sat__watcher_vectors 85 13 44_4_31_4]
G c Z b b [set_length adasat__helpers__sat__watcher_vectors 89 14 44_4_31_4]
G c Z b b [swap_and_remove adasat__helpers__sat__watcher_vectors 93 14 44_4_31_4]
G c Z b b [pop adasat__helpers__sat__watcher_vectors 98 13 44_4_31_4]
G c Z b b [first_index adasat__helpers__sat__watcher_vectors 102 13 44_4_31_4]
G c Z b b [last_index adasat__helpers__sat__watcher_vectors 107 13 44_4_31_4]
G c Z b b [next adasat__helpers__sat__watcher_vectors 113 13 44_4_31_4]
G c Z b b [previous adasat__helpers__sat__watcher_vectors 120 13 44_4_31_4]
G c Z b b [has_element adasat__helpers__sat__watcher_vectors 127 13 44_4_31_4]
G c Z b b [move adasat__helpers__sat__watcher_vectors 134 14 44_4_31_4]
G c Z b b [copy adasat__helpers__sat__watcher_vectors 139 13 44_4_31_4]
G c Z b b [to_pointer adasat__helpers__sat__watcher_vectors 154 13 44_4_31_4]
G c Z b b [vectorDA adasat__helpers__sat__watcher_vectors 157 9 44_4_31_4]
G c Z b b [vectorDF adasat__helpers__sat__watcher_vectors 157 9 44_4_31_4]
G c Z b b [vectorIP adasat__helpers__sat__watcher_vectors 157 9 44_4_31_4]
G c Z b b [array_boundsIP adasat__helpers__sat__watcher_vectors 12 9 44_4_31_4]
G c Z b b [to_thin_access adasat__helpers__sat__watcher_vectors 25 13 44_4_31_4]
G c Z b b [destroy adasat__helpers__sat 58 14 31_4]
G c Z b b [append_watcher adasat__helpers__sat 62 14 31_4]
G c Z b b [append_clause adasat__helpers__sat 67 14 31_4]
G c Z b b [append_formula adasat__helpers__sat 72 14 31_4]
G c Z b b [unassigned_count adasat__helpers__sat 77 13 31_4]
G c Z b b [solve_internal adasat__helpers__sat 80 13 31_4]
G c Z b b [decision_arrayIP adasat__helpers__sat 11 9 31_4]
G c Z b b [antecedent_arrayIP adasat__helpers__sat 12 9 31_4]
G c Z b b [literal_maskIP adasat__helpers__sat 14 9 31_4]
G c Z b b [literal_to_watcher_mapIP adasat__helpers__sat 46 9 31_4]
G c Z b b [internal_formulaIP adasat__helpers__sat 49 9 31_4]
G r i none [b adasat__helpers 10 1 none] [vectors adasat 22 16 none]
G r i none [b adasat__helpers 10 1 none] [theory adasat 27 16 none]
G r i none [b adasat__helpers 10 1 none] [dpll adasat 31 16 none]
G r c none [dpll_solve adasat__helpers 14 13 none] [Osubtract adasat 36 13 none]
G r c none [dpll_solve adasat__helpers 14 13 none] [Oadd adasat 32 13 none]
G r s vector [dpll_solve adasat__helpers 14 13 none] [vectorIP adasat__formulas__clause_vectors 157 9 17_4]
G r s vector [dpll_solve adasat__helpers 14 13 none] [vectorIP adasat__internals__literal_vectors 157 9 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [get_var adasat 40 13 none]
G r c none [dpll_solve adasat__helpers 14 13 none] [append adasat__internals__literal_vectors 45 14 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [is_empty adasat__internals__literal_vectors 41 13 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [pop adasat__internals__literal_vectors 98 13 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [clear adasat__internals__literal_vectors 72 14 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [reserve adasat__internals__literal_vectors 49 14 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [destroy adasat__internals__literal_vectors 68 14 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [free_all adasat__formulas 46 14 none]
G r c none [dpll_solve adasat__helpers 14 13 none] [first_unassigned adasat__decisions 20 13 none]
G r c none [dpll_solve adasat__helpers 14 13 none] [length adasat__internals__literal_vectors 85 13 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [get adasat__internals__literal_vectors 54 13 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [swap_and_remove adasat__internals__literal_vectors 93 14 16_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [get_literal_vector_array adasat__internals 19 13 none]
G r c none [dpll_solve adasat__helpers 14 13 none] [append adasat__formulas__clause_vectors 45 14 17_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [length adasat__formulas__clause_vectors 85 13 17_4]
G r c none [dpll_solve adasat__helpers 14 13 none] [destroy adasat__formulas__clause_vectors 68 14 17_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [Osubtract adasat 36 13 none]
G r c none [solve adasat__helpers__sat 32 13 31_4] [Oadd adasat 32 13 none]
G r s vector [solve adasat__helpers__sat 32 13 31_4] [vectorIP adasat__formulas__clause_vectors 157 9 17_4]
G r s vector [solve adasat__helpers__sat 32 13 31_4] [vectorIP adasat__internals__literal_vectors 157 9 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [get_var adasat 40 13 none]
G r c none [solve adasat__helpers__sat 32 13 31_4] [append adasat__internals__literal_vectors 45 14 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [is_empty adasat__internals__literal_vectors 41 13 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [pop adasat__internals__literal_vectors 98 13 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [clear adasat__internals__literal_vectors 72 14 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [reserve adasat__internals__literal_vectors 49 14 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [destroy adasat__internals__literal_vectors 68 14 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [free_all adasat__formulas 46 14 none]
G r c none [solve adasat__helpers__sat 32 13 31_4] [first_unassigned adasat__decisions 20 13 none]
G r c none [solve adasat__helpers__sat 32 13 31_4] [length adasat__internals__literal_vectors 85 13 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [get adasat__internals__literal_vectors 54 13 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [swap_and_remove adasat__internals__literal_vectors 93 14 16_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [get_literal_vector_array adasat__internals 19 13 none]
G r c none [solve adasat__helpers__sat 32 13 31_4] [append adasat__formulas__clause_vectors 45 14 17_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [length adasat__formulas__clause_vectors 85 13 17_4]
G r c none [solve adasat__helpers__sat 32 13 31_4] [destroy adasat__formulas__clause_vectors 68 14 17_4]
G r c none [destroy adasat__helpers__sat 58 14 31_4] [free_all adasat__formulas 46 14 none]
G r c none [append_clause adasat__helpers__sat 67 14 31_4] [append adasat__formulas__clause_vectors 45 14 17_4]
G r c none [append_formula adasat__helpers__sat 72 14 31_4] [append adasat__formulas__clause_vectors 45 14 17_4]
G r s vector [solve_internal adasat__helpers__sat 80 13 31_4] [vectorIP adasat__internals__literal_vectors 157 9 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [Osubtract adasat 36 13 none]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [Oadd adasat 32 13 none]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [get_var adasat 40 13 none]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [append adasat__internals__literal_vectors 45 14 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [is_empty adasat__internals__literal_vectors 41 13 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [pop adasat__internals__literal_vectors 98 13 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [clear adasat__internals__literal_vectors 72 14 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [reserve adasat__internals__literal_vectors 49 14 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [destroy adasat__internals__literal_vectors 68 14 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [free_all adasat__formulas 46 14 none]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [first_unassigned adasat__decisions 20 13 none]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [length adasat__internals__literal_vectors 85 13 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [get adasat__internals__literal_vectors 54 13 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [swap_and_remove adasat__internals__literal_vectors 93 14 16_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [get_literal_vector_array adasat__internals 19 13 none]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [append adasat__formulas__clause_vectors 45 14 17_4]
G r s vector [solve_internal adasat__helpers__sat 80 13 31_4] [vectorIP adasat__formulas__clause_vectors 157 9 17_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [length adasat__formulas__clause_vectors 85 13 17_4]
G r c none [solve_internal adasat__helpers__sat 80 13 31_4] [destroy adasat__formulas__clause_vectors 68 14 17_4]
G r s vector [internal_formulaIP adasat__helpers__sat 49 9 31_4] [vectorIP adasat__formulas__clause_vectors 157 9 17_4]
X 20 adasat.ads
14K9*AdaSAT 80e11 27|7r6 11r9 12r8 23r5 28|7r6 8r6 10r14 38r5
27I12*Variable_Or_Null<integer> 27|17r18 28|36r18
58A9*Model(55E9)<15I9> 27|16r25 28|17r13 21r13 35r25
X 23 adasat-dpll.ads
31k16*DPLL 45e16 28|8w13 31r23
32V13*Solve{boolean} 28|37s12[31]
X 25 adasat-formulas.ads
14K16*Formulas 48e20 27|7w13 12r15
20R12*Formula{31|32R9[17]} 27|15r18 28|18r20 22r20 34r18
X 27 adasat-helpers.ads
11K16*Helpers 20|14k9 27|23l12 23e19 28|10b21 38l12 38t19
14V13*DPLL_Solve{boolean} 15>7 16=7 17>7 28|33b13
15r7 F{25|20R12} 28|37r19
16a7 M{20|58A9} 28|37m25 37r25
17i7 Min_Vars{20|27I12} 28|37r28
X 28 adasat-helpers.adb
11R9 Empty_Context 13r8 16r20 20r20 29r40
13r4 C{11R9} 37m22 37r22
15V13 Empty_Theory_Check{boolean} 16=7 17>7 18=7 19b13 27l8 27t26 29r55
16r7 Ctx{11R9} 20b7 24r28
17a7 M{20|58A9} 21b7 24r33
18r7 F{25|20R12} 22b7 24r36
29K12 Empty_Theory[30|27] 31r29
31K12 SAT[23|31] 37r8
X 30 adasat-theory.ads
27k16*Theory 28|7w13 29r32 30|28e18
X 31 adasat-vectors.ads
32R9*Vector
X 34 system.ads
67M9*Address
X 42 s-memory.ads
51V13*Alloc{34|67M9} 101i<c,__gnat_malloc>22
66U14*Free 102i<c,__gnat_free>22
74V13*Realloc{34|67M9} 103i<c,__gnat_realloc>22

