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_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
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_ELABORATION_CODE

U adasat.builders%b	adasat-builders.adb	fccd3a3c NE OO PK
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
Z ada.tags%s		a-tags.adb		a-tags.ali
W adasat%s		adasat.adb		adasat.ali
Z system%s		system.ads		system.ali

U adasat.builders%s	adasat-builders.ads	cf497407 EE OO PF PK
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
W adasat%s		adasat.adb		adasat.ali
W adasat.formulas%s	adasat-formulas.adb	adasat-formulas.ali
W adasat.internals%s	adasat-internals.ads	adasat-internals.ali
Z system%s		system.ads		system.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

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-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-builders.ads	20230926141706 11c625c2 adasat.builders%s
D adasat-builders.adb	20230926141706 ed0b1ffe adasat.builders%b
D adasat-formulas.ads	20230926141706 e38b3bcc adasat.formulas%s
D adasat-formulas.adb	20230926141706 e80bcb7b adasat.formulas%b
D adasat-internals.ads	20230926141706 ccca0a79 adasat.internals%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-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__builders 7 1 none]
G c Z s b [reserve adasat__builders 56 14 none]
G c Z s b [add adasat__builders 59 14 none]
G c Z s b [add_simplify adasat__builders 63 14 none]
G c Z s b [copy adasat__builders 66 13 none]
G c Z s b [destroy adasat__builders 70 14 none]
G c Z s b [build adasat__builders 74 13 none]
G c Z s b [add adasat__builders 84 14 none]
G c Z s b [add_simplify adasat__builders 90 14 none]
G c Z s b [add_at_most_one adasat__builders 97 14 none]
G c Z s b [is_feasible adasat__builders 109 13 none]
G c Z s b [copy adasat__builders 115 13 none]
G c Z s b [destroy adasat__builders 119 14 none]
G c Z s b [build adasat__builders 123 13 none]
G c Z s s [clause_builderDA adasat__builders 132 9 none]
G c Z s s [clause_builderDF adasat__builders 132 9 none]
G c Z s s [clause_builderIP adasat__builders 132 9 none]
G c Z s s [formula_builderDA adasat__builders 136 9 none]
G c Z s s [formula_builderDF adasat__builders 136 9 none]
G c Z s s [formula_builderIP adasat__builders 136 9 none]
G c Z b b [get_literal_vector_arrayR adasat__builders__get_literal_vector_arrayGP151 8 13 none]
G c Z b b [get_literal_vector_array adasat__builders 8 13 none]
G c Z b b [is_subset adasat__builders 85 13 none]
G r i none [b adasat__builders 7 1 none] [internal_array adasat__internals__literal_vectors 144 13 16_4]
G r c none [reserve adasat__builders 56 14 none] [reserve adasat__internals__literal_vectors 49 14 16_4]
G r c none [add adasat__builders 59 14 none] [append adasat__internals__literal_vectors 45 14 16_4]
G r c none [add_simplify adasat__builders 63 14 none] [append adasat__internals__literal_vectors 45 14 16_4]
G r c none [copy adasat__builders 66 13 none] [copy adasat__internals__literal_vectors 139 13 16_4]
G r c none [destroy adasat__builders 70 14 none] [destroy adasat__internals__literal_vectors 68 14 16_4]
G r c none [build adasat__builders 74 13 none] [to_thin_access adasat__internals__literal_vectors 25 13 16_4]
G r c none [add adasat__builders 84 14 none] [append adasat__formulas__clause_vectors 45 14 17_4]
G r c none [add_simplify adasat__builders 90 14 none] [length adasat__formulas__clause_vectors 85 13 17_4]
G r c none [add_simplify adasat__builders 90 14 none] [get adasat__formulas__clause_vectors 54 13 17_4]
G r c none [add_simplify adasat__builders 90 14 none] [free adasat 76 14 none]
G r c none [add_simplify adasat__builders 90 14 none] [swap_and_remove adasat__formulas__clause_vectors 93 14 17_4]
G r c none [add_simplify adasat__builders 90 14 none] [append adasat__formulas__clause_vectors 45 14 17_4]
G r c none [add_at_most_one adasat__builders 97 14 none] [Osubtract adasat 36 13 none]
G r c none [add_at_most_one adasat__builders 97 14 none] [append adasat__formulas__clause_vectors 45 14 17_4]
G r c none [add_at_most_one adasat__builders 97 14 none] [Oadd adasat 32 13 none]
G r s vector [copy adasat__builders 115 13 none] [vectorIP adasat__formulas__clause_vectors 157 9 17_4]
G r c none [copy adasat__builders 115 13 none] [append adasat__formulas__clause_vectors 45 14 17_4]
G r c none [destroy adasat__builders 119 14 none] [free_all adasat__formulas 46 14 none]
G r s vector [clause_builderIP adasat__builders 132 9 none] [vectorIP adasat__internals__literal_vectors 157 9 16_4]
G r s vector [formula_builderIP adasat__builders 136 9 none] [vectorIP adasat__formulas__clause_vectors 157 9 17_4]
G r c none [get_literal_vector_arrayR adasat__builders__get_literal_vector_arrayGP151 8 13 none] [to_thin_access adasat__internals__literal_vectors 25 13 16_4]
X 19 adasat.ads
14K9*AdaSAT 80e11 21|7r6 7r27 8r14 47r9 130r8 145r5 22|7r14 180r5
15I9*Variable<integer> 21|99r18 22|121r18
29I9*Literal<integer> 21|59r50 63r59 109r51 22|24r50 33r59 138r51
32V14*"+"{29I9} 22|130s39 130s46
36V14*"-"{29I9} 22|128s36 128s43
44A9*Literal_Array(29I9)<integer> 22|128r21 130r21 156r21
45P9*Literal_Array_Access(44A9) 22|9r7
49P12*Clause{45P9} 21|74r54 84r51 90r60 22|65r54 66r20 76r51 85r33 92r60
. 94r11
76U14 Free[18|20] 22|102s13 106s13
X 21 adasat-builders.ads
47K16*Builders 19|14k9 21|132E9 145l12 145e20 22|7b21 180l12 180t20
48R9*Clause_Builder 53r36 56p14 56r34 59p14 59r30 63p14 63r39 66p13 66r23
. 66r46 70p14 70r34 74p13 74r31 132c9 134e14 140r37 22|15r34 24r30 33r39
. 47r23 47r46 56r34 65r31
53r4*Empty_Clause_Builder{48R9} 140c4
56U14*Reserve 56=23 56>50 22|15b14 18l8 18t15
56r23 C{48R9} 22|15b23 17m7 17r7
56i50 Size{natural} 22|15b50 17r20
59U14*Add 59=19 59>46 22|24b14 27l8 27t11 40s7
59r19 C{48R9} 22|24b19 26m7 26r7
59i46 L{19|29I9} 22|24b46 26r19
63U14*Add_Simplify 63=28 63>55 22|33b14 41l8 41t20
63r28 C{48R9} 22|33b28 35r18 40m12
63i55 L{19|29I9} 22|33b55 36r19 40r15
66V13*Copy{48R9} 66>19 22|47b13 50l8 50t12
66r19 C{48R9} 22|47b19 49r20
70U14*Destroy 70=23 22|56b14 59l8 59t15
70r23 C{48R9} 22|56b23 58m7 58r7
74V13*Build{19|49P12} 74=20 22|65b13 70l8 70t13
74r20 C{48R9} 22|65b20 66r56 68m7
78R9*Formula_Builder 81r37 84p14 84r30 90p14 90r39 97p14 98r25 109p13 109r30
. 115p13 115r23 115r47 119p14 119r34 123p13 123r31 136c9 138e14 143r37 22|76r30
. 92r39 120r25 138r30 152r23 152r47 153r11 165r34 174r31
81r4*Empty_Formula_Builder{78R9} 143c4
84U14*Add 84=19 84>47 22|76b14 79l8 79t11 128s12 130s12 156s12
84r19 F{78R9} 22|76b19 78m7 78r7
84p47 C{19|49P12} 22|76b47 78r19
90U14*Add_Simplify 90=28 90>56 22|92b14 113l8 113t20
90r28 F{78R9} 22|92b28 96r18 97r15 103m13 103r13 112m7 112r7
90p56 C{19|49P12} 22|92b56 101r27 104r30 105r18 112r19
97U14*Add_At_Most_One 98=7 99>7 99>13 22|119b14 132l8 132t23
98r7 F{78R9} 22|120b7 128m10 128r10 130m10 130r10
99i7 From{19|15I9} 22|121b7 124r22 125r10 127r18 128r37 130r40
99i13 To{19|15I9} 22|121b13 124r29 125r17 127r13 128r44 130r47
109V13*Is_Feasible{boolean} 109>26 109>47 22|138b13 146l8 146t19
109r26 F{78R9} 22|138b26 140r16
109i47 L{19|29I9} 22|138b47 141r50
115V13*Copy{78R9} 115>19 22|152b13 159l8 159t12
115r19 F{78R9} 22|152b19 155r16
119U14*Destroy 119=23 22|165b14 168l8 168t15
119r23 F{78R9} 22|165b23 167m17 167r17
123V13*Build{23|20R12} 123=20 22|174b13 179l8 179t13
123r20 F{78R9} 22|174b20 175r31 177m7
133r7*V{26|32R9[25|16]} 141m7 22|17m9 26m9 35r20 49m15 49r22 58m9 66r58 68m9
137r7*V{26|32R9[23|17]} 144m7 22|78m9 96r20 97r17 103m15 112m9 140r18 155r18
. 167m19 175r33 177m9
X 22 adasat-builders.adb
8V13 Get_Literal_Vector_Array[26|144]{19|45P9} 66s30
35i11 Lit{19|29I9} 36r13
66p7 R{19|49P12} 69r14
85V13 Is_Subset{boolean} 85>24 85>28 101s16 104s16
85p24 C1{19|49P12} 86r20
85p28 C2{19|49P12} 86r45
86i15 X=86:15{19|29I9} 86r55
86i40 Y=86:40{19|29I9} 86r59
93i7 I{natural} 96r13 97r24 103r34 109m13 109r18
94p7 D{19|49P12} 97m10 98r13 98r35 98r38 101r30 102m19 102r19 104r27 105m13
. 106m19 106r19
140p11 C{19|45P9} 141r13 141r35 141r38
153r7 R{21|78R9} 156m10 156r10 158r14
155p11 C{19|45P9} 156r36
175r7 R{23|20R12} 178r14
X 23 adasat-formulas.ads
14K16*Formulas 21|7w13 7r34 23|48e20
17K12*Clause_Vectors[26|22] 21|137r11 144r12 22|177r14
20R12*Formula{26|32R9[17]} 21|123r55 22|174r55 175r20
46U14*Free_All 22|167s7
X 25 adasat-internals.ads
15K24*Internals 21|8w21 130r15 25|21e21
16K12*Literal_Vectors[26|22] 21|133r11 141r12 22|8r45 68r14
X 26 adasat-vectors.ads
26I12*Iteration_Index_Type{natural}
32R9*Vector 21|133r27[25|16] 137r26[23|17]
39r4*Empty_Vector{32R9[25|16]} 21|141r28[25|16] 144r27[23|17] 22|68r30[25|16]
. 177r29[23|17]
45U14*Append 22|26s11[25|16] 78s11[23|17] 112s11[23|17]
49U14*Reserve 22|17s11[25|16]
54V13*Get{19|45P9} 22|97s19[23|17]
68U14*Destroy 22|58s11[25|16]
85V13*Length{natural} 22|96s22[23|17]
93U14*Swap_And_Remove 22|103s17[23|17]
102V13*First_Index{26I12[25|16]} 22|35s22[25|16] 140s20[23|17] 155s20[23|17]
113V13*Next{26I12[25|16]} 22|35s22[25|16] 140s20[23|17] 155s20[23|17]
127V13*Has_Element{boolean} 22|35s22[25|16] 140s20[23|17] 155s20[23|17]
139V13*Copy{32R9[25|16]} 22|49s24[25|16]
144v13*Internal_Array 22|8r61[25|16]
X 29 system.ads
67M9*Address
X 37 s-memory.ads
51V13*Alloc{29|67M9} 101i<c,__gnat_malloc>22
66U14*Free 102i<c,__gnat_free>22
74V13*Realloc{29|67M9} 103i<c,__gnat_realloc>22

