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_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_LOOPS
RV NO_ELABORATION_CODE

U adasat.formulas%b	adasat-formulas.adb	707b80a7 NE OO PK
W ada%s			ada.ads			ada.ali
Z ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.ali
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
W ada.strings.unbounded%s  a-strunb.adb		a-strunb.ali
W adasat%s		adasat.adb		adasat.ali
Z adasat.vectors%s	adasat-vectors.adb	adasat-vectors.ali  ED
Z system.secondary_stack%s  s-secsta.adb	s-secsta.ali
Z system.soft_links%s	s-soflin.adb		s-soflin.ali
Z system.standard_library%s  s-stalib.adb	s-stalib.ali

U adasat.formulas%s	adasat-formulas.ads	d9478254 EE OO PF 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
W adasat.vectors%s	adasat-vectors.adb	adasat-vectors.ali
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

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-strmap.adb		20250605160258 fb7e918f ada.strings.maps%b
D a-strsea.ads		20250605160258 2d394feb ada.strings.search%s
D a-sttebu.ads		20250605160258 f1ad67a2 ada.strings.text_buffers%s
D a-strunb.ads		20250605160258 7bfb7010 ada.strings.unbounded%s
D a-strunb.adb		20250605160258 3b950306 ada.strings.unbounded%b
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-formulas.ads	20230926141706 e38b3bcc adasat.formulas%s
D adasat-formulas.adb	20230926141706 e80bcb7b adasat.formulas%b
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-bitops.ads		20250605160258 cdf3ac3c system.bit_ops%s
D s-casuti.ads		20250605160258 cf13d755 system.case_util%s
D s-carun8.ads		20250605160258 90e69e63 system.compare_array_unsigned_8%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-stalib.adb		20250605160258 eb464a47 system.standard_library%b
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 s s s [s adasat__formulas 14 1 none]
G c Z s s [clause_arrayIP adasat__formulas 15 9 none]
G c Z s s [is_empty adasat__formulas__clause_vectors 41 13 17_4]
G c Z s s [append adasat__formulas__clause_vectors 45 14 17_4]
G c Z s s [reserve adasat__formulas__clause_vectors 49 14 17_4]
G c Z s s [get adasat__formulas__clause_vectors 54 13 17_4]
G c Z s s [get_access adasat__formulas__clause_vectors 59 13 17_4]
G c Z s s [set adasat__formulas__clause_vectors 64 14 17_4]
G c Z s s [destroy adasat__formulas__clause_vectors 68 14 17_4]
G c Z s s [clear adasat__formulas__clause_vectors 72 14 17_4]
G c Z s s [first_element adasat__formulas__clause_vectors 77 13 17_4]
G c Z s s [last_element adasat__formulas__clause_vectors 81 13 17_4]
G c Z s s [length adasat__formulas__clause_vectors 85 13 17_4]
G c Z s s [set_length adasat__formulas__clause_vectors 89 14 17_4]
G c Z s s [swap_and_remove adasat__formulas__clause_vectors 93 14 17_4]
G c Z s s [pop adasat__formulas__clause_vectors 98 13 17_4]
G c Z s s [first_index adasat__formulas__clause_vectors 102 13 17_4]
G c Z s s [last_index adasat__formulas__clause_vectors 107 13 17_4]
G c Z s s [next adasat__formulas__clause_vectors 113 13 17_4]
G c Z s s [previous adasat__formulas__clause_vectors 120 13 17_4]
G c Z s s [has_element adasat__formulas__clause_vectors 127 13 17_4]
G c Z s s [move adasat__formulas__clause_vectors 134 14 17_4]
G c Z s s [copy adasat__formulas__clause_vectors 139 13 17_4]
G c Z s s [to_pointer adasat__formulas__clause_vectors 154 13 17_4]
G c Z s s [vectorDA adasat__formulas__clause_vectors 157 9 17_4]
G c Z s s [vectorDF adasat__formulas__clause_vectors 157 9 17_4]
G c Z s s [vectorIP adasat__formulas__clause_vectors 157 9 17_4]
G c Z s s [array_boundsIP adasat__formulas__clause_vectors 12 9 17_4]
G c Z s s [to_thin_access adasat__formulas__clause_vectors 25 13 17_4]
G c Z s b [image adasat__formulas 36 13 none]
G c Z s b [satisfies adasat__formulas 42 13 none]
G c Z s b [free_all adasat__formulas 46 14 none]
G r i none [s adasat__formulas 14 1 none] [vectors adasat 22 16 none]
G r c none [image adasat__formulas 36 13 none] [image adasat 52 13 none]
G r c none [satisfies adasat__formulas 42 13 none] [get_var adasat 40 13 none]
G r c none [free_all adasat__formulas 46 14 none] [free adasat 76 14 none]
X 1 ada.ads
16K9*Ada 20e8 26|7r6 16r11
X 12 a-string.ads
16K13*Strings 35e16 26|7r10 16r15
X 17 a-strunb.ads
85K21*Unbounded 766e26 26|7w18 16r23
91R9*Unbounded_String<6|43R9> 745e15 26|18r13
121V13*To_String{string} 26|26s14
140U14*Append 26|21s10 23s13
X 23 adasat.ads
14K9*AdaSAT 80e11 25|7r6 14r9 17r34 48r5 26|9r14 77r5
15I9*Variable<integer>
29I9*Literal<integer>
40V13*Get_Var{15I9} 26|39s60
44A9*Literal_Array(29I9)<integer>
45P9*Literal_Array_Access(44A9)
49P12*Clause{45P9} 25|15r54 18r7 26|69r19
52V13*Image{string} 26|21s23
55E9*Variable_Value 55e47 26|34r12 39r39 40r39
55n28*True{55E9} 26|41r44 46r25 53r18
55n34*False{55E9} 26|34r30 41r33 54r22 55r18
55n41*Unset{55E9} 26|43r34 44r25 57r18
58A9*Model(55E9)<15I9> 25|42r41 26|33r41
76U14 Free[22|20] 26|73s10
X 25 adasat-formulas.ads
14K16*Formulas 23|14k9 25|48l12 48e20 26|9b21 77l12 77t20
15A9*Clause_Array(23|49P12)<integer> 18r15
17K12*Clause_Vectors[27|22] 20r23
20R12*Formula{27|32R9[17]} 36r24 42r28 46r35 26|15r24 33r28 68r35
36V13*Image{string} 36>20 26|15b13 27l8 27t13
36r20 F{20R12} 26|15b20 20r21 21r30 22r17
39E9*SAT_Result 39e44 42r55 26|33r55
39n24*SAT{39E9} 26|61r14
39n29*UNSAT{39E9} 26|56r23
39n36*UNKNOWN{39E9} 26|58r23
42V13*Satisfies{39E9} 42>24 42>37 26|33b13 62l8 62t17
42r24 F{20R12} 26|33b24 36r18
42a37 M{23|58A9} 26|33b37 39r57
46U14*Free_All 46=24 26|68b14 76l8 76t16
46r24 F{20R12} 26|68b24 71r16 75m7 75r7
X 26 adasat-formulas.adb
18r7 Res{17|91R9} 21m18 21r18 23m21 23r21 26r25
20i11 I{integer} 21r37 22r13
34e7 OK{23|55E9} 44m19 46m19 52r15 54m16
36p11 Dis{23|45P9} 37r19
37i14 L=37:14{23|29I9} 39r69 41r22
39e16 Model_Value{23|55E9} 43r19 45r22
40e16 Required{23|55E9} 45r36
69p7 Mutable_C{23|49P12} 72m10 73m16 73r16
71p11 C{23|45P9} 72r23
X 27 adasat-vectors.ads
22k16*Vectors 25|7w13 17r41 27|165e19
26I12*Iteration_Index_Type{natural}
32R9*Vector 25|20r38[17]
54V13*Get{23|45P9} 26|21s32[25|17]
68U14*Destroy 26|75s9[25|17]
85V13*Length{natural} 26|20s23[25|17] 22s19[25|17]
102V13*First_Index{26I12[25|17]} 26|36s20[25|17] 71s18[25|17]
113V13*Next{26I12[25|17]} 26|36s20[25|17] 71s18[25|17]
127V13*Has_Element{boolean} 26|36s20[25|17] 71s18[25|17]
X 30 system.ads
67M9*Address
X 40 s-memory.ads
51V13*Alloc{30|67M9} 101i<c,__gnat_malloc>22
66U14*Free 102i<c,__gnat_free>22
74V13*Realloc{30|67M9} 103i<c,__gnat_realloc>22
X 48 s-stalib.adb
87U14 Break_Start 88i<c,__gnat_break_start>22

