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 ZX

RN
RV NO_UNCHECKED_DEALLOCATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS

U adasat.decisions%b	adasat-decisions.adb	25d36bc7 NE OO PK
W adasat%s		adasat.adb		adasat.ali

U adasat.decisions%s	adasat-decisions.ads	aed1f7cd EE NE OO PK
W adasat%s		adasat.adb		adasat.ali

D ada.ads		20250605160258 76789da1 ada%s
D a-uncdea.ads		20250605160258 c3a8ac65 ada.unchecked_deallocation%s
D adasat.ads		20230926141706 f1ce6070 adasat%s
D adasat-decisions.ads	20230926141706 5f1f97bd adasat.decisions%s
D adasat-decisions.adb	20230926141706 7accfc7a adasat.decisions%b
D system.ads		20250605160258 db5ec672 system%s
G a e
G c Z s b [first_unassigned adasat__decisions 20 13 none]
X 3 adasat.ads
14K9*AdaSAT 80e11 4|19r9 24r5 5|7r14 27r5
15I9*Variable<integer> 4|21r39 5|14r39
27I12*Variable_Or_Null<integer> 4|21r56 5|14r56
55n41*Unset{55E9} 5|18r22
58A9*Model(55E9)<15I9> 4|21r11 5|14r11
X 4 adasat-decisions.ads
19K16*Decisions 3|14k9 4|24l12 24e21 5|7b21 27l12 27t21
20V13*First_Unassigned{3|27I12} 21>7 21=18 5|13b13 26l8 26t24
21a7 M{3|58A9} 5|14b7 17r31 18r13
21i18 First_Unset{3|15I9} 5|14b18 17r16 21m13
X 5 adasat-decisions.adb
17i11 I<integer> 18r16 21r28 22r20

