-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathopfuzz_bugs.html
1269 lines (1266 loc) · 143 KB
/
opfuzz_bugs.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
---
sidebar:
nav: "opfuzznav"
---
<body style="font-size: 20px;">
<h2>Bug findings with Type-aware Operator mutation</h2>
<h2 id="cvc4">========= CVC4 =========</h2>
<h2 id="cvc4sound">Soundness Bugs</h2>
<h4>Refutation Soundness</h4>
<a href="https://github.com/CVC4/CVC4/issues/5740#issue-778703591">https://github.com/CVC4/CVC4/issues/5740#issue-778703591</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5737">https://github.com/CVC4/CVC4/issues/5737</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5510">https://github.com/CVC4/CVC4/issues/5510</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5452">https://github.com/CVC4/CVC4/issues/5452</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5365">https://github.com/CVC4/CVC4/issues/5365</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4735">https://github.com/CVC4/CVC4/issues/4735</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4644">https://github.com/CVC4/CVC4/issues/4644</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4631">https://github.com/CVC4/CVC4/issues/4631</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4620">https://github.com/CVC4/CVC4/issues/4620</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4608">https://github.com/CVC4/CVC4/issues/4608</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4486">https://github.com/CVC4/CVC4/issues/4486</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4469">https://github.com/CVC4/CVC4/issues/4469</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4437">https://github.com/CVC4/CVC4/issues/4437</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4179">https://github.com/CVC4/CVC4/issues/4179</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4105">https://github.com/CVC4/CVC4/issues/4105</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3949">https://github.com/CVC4/CVC4/issues/3949</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/3839">https://github.com/CVC4/CVC4/issues/3839</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3564">https://github.com/CVC4/CVC4/issues/3564</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3538">https://github.com/CVC4/CVC4/issues/3538</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3514">https://github.com/CVC4/CVC4/issues/3514</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3475">https://github.com/CVC4/CVC4/issues/3475</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3413">https://github.com/CVC4/CVC4/issues/3413</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3497">https://github.com/CVC4/CVC4/issues/3497</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3498">https://github.com/CVC4/CVC4/issues/3498</a> Fixed <br />
<h4>Solution Soundness</h4>
<a href="https://github.com/CVC4/CVC4/issues/5504">https://github.com/CVC4/CVC4/issues/5504</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5428">https://github.com/CVC4/CVC4/issues/5428</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5163">https://github.com/CVC4/CVC4/issues/5163</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4957">https://github.com/CVC4/CVC4/issues/4957</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4656">https://github.com/CVC4/CVC4/issues/4656</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4631">https://github.com/CVC4/CVC4/issues/4631</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4503">https://github.com/CVC4/CVC4/issues/4503</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4501">https://github.com/CVC4/CVC4/issues/4501</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4484">https://github.com/CVC4/CVC4/issues/4484</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4482">https://github.com/CVC4/CVC4/issues/4482</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4481">https://github.com/CVC4/CVC4/issues/4481</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4411">https://github.com/CVC4/CVC4/issues/4411</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/4410">https://github.com/CVC4/CVC4/issues/4410</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/4396">https://github.com/CVC4/CVC4/issues/4396</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/4391">https://github.com/CVC4/CVC4/issues/4391</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4046">https://github.com/CVC4/CVC4/issues/4046</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/3950">https://github.com/CVC4/CVC4/issues/3950</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/3587">https://github.com/CVC4/CVC4/issues/3587</a> Fixed <br />
<h2 id="cvc4others">Others</h2>
<a href="https://github.com/CVC4/CVC4/issues/6132#issuecomment-801144513">https://github.com/CVC4/CVC4/issues/6132#issuecomment-801144513</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5908">https://github.com/CVC4/CVC4/issues/5908</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5902">https://github.com/CVC4/CVC4/issues/5902</a> Fixed <br />
<a href="https://github.com/CVC4/cvc4-projects/issues/254">https://github.com/CVC4/cvc4-projects/issues/254</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5848">https://github.com/CVC4/CVC4/issues/5848</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5837">https://github.com/CVC4/CVC4/issues/5837</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5781#issuecomment-762349722">https://github.com/CVC4/CVC4/issues/5781#issuecomment-762349722</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5781#issuecomment-762349403">https://github.com/CVC4/CVC4/issues/5781#issuecomment-762349403</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5781#issuecomment-762349039">https://github.com/CVC4/CVC4/issues/5781#issuecomment-762349039</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5771">https://github.com/CVC4/CVC4/issues/5771</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5767">https://github.com/CVC4/CVC4/issues/5767</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5766">https://github.com/CVC4/CVC4/issues/5766</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5742#issue-778709110">https://github.com/CVC4/CVC4/issues/5742#issue-778709110</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/5741">https://github.com/CVC4/CVC4/issues/5741</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5739#issue-778697747">https://github.com/CVC4/CVC4/issues/5739#issue-778697747</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5738">https://github.com/CVC4/CVC4/issues/5738</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5736#issue-778679681">https://github.com/CVC4/CVC4/issues/5736#issue-778679681</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5735">https://github.com/CVC4/CVC4/issues/5735</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5734">https://github.com/CVC4/CVC4/issues/5734</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5665">https://github.com/CVC4/CVC4/issues/5665</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5663">https://github.com/CVC4/CVC4/issues/5663</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/5662">https://github.com/CVC4/CVC4/issues/5662</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5659">https://github.com/CVC4/CVC4/issues/5659</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5658">https://github.com/CVC4/CVC4/issues/5658</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5605">https://github.com/CVC4/CVC4/issues/5605</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5604">https://github.com/CVC4/CVC4/issues/5604</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5542">https://github.com/CVC4/CVC4/issues/5542</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5543">https://github.com/CVC4/CVC4/issues/5543</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5540">https://github.com/CVC4/CVC4/issues/5540</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5520">https://github.com/CVC4/CVC4/issues/5520</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5517">https://github.com/CVC4/CVC4/issues/5517</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5511">https://github.com/CVC4/CVC4/issues/5511</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5506">https://github.com/CVC4/CVC4/issues/5506</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5505">https://github.com/CVC4/CVC4/issues/5505</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5470">https://github.com/CVC4/CVC4/issues/5470</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5471">https://github.com/CVC4/CVC4/issues/5471</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5469">https://github.com/CVC4/CVC4/issues/5469</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5462">https://github.com/CVC4/CVC4/issues/5462</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5461">https://github.com/CVC4/CVC4/issues/5461</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5452">https://github.com/CVC4/CVC4/issues/5452</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5426">https://github.com/CVC4/CVC4/issues/5426</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/5396ty">https://github.com/CVC4/CVC4/issues/5396ty</a> Reported <br />
<a href="https://github.com/CVC4/CVC4/issues/5381">https://github.com/CVC4/CVC4/issues/5381</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5378">https://github.com/CVC4/CVC4/issues/5378</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5371">https://github.com/CVC4/CVC4/issues/5371</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5370">https://github.com/CVC4/CVC4/issues/5370</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5354">https://github.com/CVC4/CVC4/issues/5354</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5344">https://github.com/CVC4/CVC4/issues/5344</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5288">https://github.com/CVC4/CVC4/issues/5288</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5279">https://github.com/CVC4/CVC4/issues/5279</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5278">https://github.com/CVC4/CVC4/issues/5278</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5238">https://github.com/CVC4/CVC4/issues/5238</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5233">https://github.com/CVC4/CVC4/issues/5233</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5201">https://github.com/CVC4/CVC4/issues/5201</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5200">https://github.com/CVC4/CVC4/issues/5200</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5146">https://github.com/CVC4/CVC4/issues/5146</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5143">https://github.com/CVC4/CVC4/issues/5143</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5141">https://github.com/CVC4/CVC4/issues/5141</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/5135">https://github.com/CVC4/CVC4/issues/5135</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5123">https://github.com/CVC4/CVC4/issues/5123</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5116">https://github.com/CVC4/CVC4/issues/5116</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5104">https://github.com/CVC4/CVC4/issues/5104</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/5099">https://github.com/CVC4/CVC4/issues/5099</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5091">https://github.com/CVC4/CVC4/issues/5091</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/5079">https://github.com/CVC4/CVC4/issues/5079</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5078">https://github.com/CVC4/CVC4/issues/5078</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4927">https://github.com/CVC4/CVC4/issues/4927</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4926">https://github.com/CVC4/CVC4/issues/4926</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4925">https://github.com/CVC4/CVC4/issues/4925</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4851">https://github.com/CVC4/CVC4/issues/4851</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4850">https://github.com/CVC4/CVC4/issues/4850</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4849">https://github.com/CVC4/CVC4/issues/4849</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4796">https://github.com/CVC4/CVC4/issues/4796</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4795">https://github.com/CVC4/CVC4/issues/4795</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4794">https://github.com/CVC4/CVC4/issues/4794</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4780">https://github.com/CVC4/CVC4/issues/4780</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4759">https://github.com/CVC4/CVC4/issues/4759</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4758">https://github.com/CVC4/CVC4/issues/4758</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4714">https://github.com/CVC4/CVC4/issues/4714</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4707">https://github.com/CVC4/CVC4/issues/4707</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4701">https://github.com/CVC4/CVC4/issues/4701</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4685">https://github.com/CVC4/CVC4/issues/4685</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4686">https://github.com/CVC4/CVC4/issues/4686</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4674">https://github.com/CVC4/CVC4/issues/4674</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4662">https://github.com/CVC4/CVC4/issues/4662</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4500">https://github.com/CVC4/CVC4/issues/4500</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4490">https://github.com/CVC4/CVC4/issues/4490</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4483">https://github.com/CVC4/CVC4/issues/4483</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4479">https://github.com/CVC4/CVC4/issues/4479</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4478">https://github.com/CVC4/CVC4/issues/4478</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4477">https://github.com/CVC4/CVC4/issues/4477</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4476">https://github.com/CVC4/CVC4/issues/4476</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4475">https://github.com/CVC4/CVC4/issues/4475</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4474">https://github.com/CVC4/CVC4/issues/4474</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4471">https://github.com/CVC4/CVC4/issues/4471</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4470">https://github.com/CVC4/CVC4/issues/4470</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4461">https://github.com/CVC4/CVC4/issues/4461</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4460">https://github.com/CVC4/CVC4/issues/4460</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4459">https://github.com/CVC4/CVC4/issues/4459</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4458">https://github.com/CVC4/CVC4/issues/4458</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4453">https://github.com/CVC4/CVC4/issues/4453</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/4449">https://github.com/CVC4/CVC4/issues/4449</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4448">https://github.com/CVC4/CVC4/issues/4448</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4446">https://github.com/CVC4/CVC4/issues/4446</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4436">https://github.com/CVC4/CVC4/issues/4436</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4434">https://github.com/CVC4/CVC4/issues/4434</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4433">https://github.com/CVC4/CVC4/issues/4433</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4431">https://github.com/CVC4/CVC4/issues/4431</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4429">https://github.com/CVC4/CVC4/issues/4429</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/4428">https://github.com/CVC4/CVC4/issues/4428</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4427">https://github.com/CVC4/CVC4/issues/4427</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4426">https://github.com/CVC4/CVC4/issues/4426</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4425">https://github.com/CVC4/CVC4/issues/4425</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4416">https://github.com/CVC4/CVC4/issues/4416</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/4414">https://github.com/CVC4/CVC4/issues/4414</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4412">https://github.com/CVC4/CVC4/issues/4412</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4405">https://github.com/CVC4/CVC4/issues/4405</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/4401">https://github.com/CVC4/CVC4/issues/4401</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4400">https://github.com/CVC4/CVC4/issues/4400</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4398">https://github.com/CVC4/CVC4/issues/4398</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4395">https://github.com/CVC4/CVC4/issues/4395</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/4393">https://github.com/CVC4/CVC4/issues/4393</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4386">https://github.com/CVC4/CVC4/issues/4386</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4385">https://github.com/CVC4/CVC4/issues/4385</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4384">https://github.com/CVC4/CVC4/issues/4384</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4369">https://github.com/CVC4/CVC4/issues/4369</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4366">https://github.com/CVC4/CVC4/issues/4366</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4328">https://github.com/CVC4/CVC4/issues/4328</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4327">https://github.com/CVC4/CVC4/issues/4327</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4325">https://github.com/CVC4/CVC4/issues/4325</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4321">https://github.com/CVC4/CVC4/issues/4321</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4320">https://github.com/CVC4/CVC4/issues/4320</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4318">https://github.com/CVC4/CVC4/issues/4318</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4314">https://github.com/CVC4/CVC4/issues/4314</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4308">https://github.com/CVC4/CVC4/issues/4308</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4307">https://github.com/CVC4/CVC4/issues/4307</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4302">https://github.com/CVC4/CVC4/issues/4302</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4300">https://github.com/CVC4/CVC4/issues/4300</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4293">https://github.com/CVC4/CVC4/issues/4293</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4289">https://github.com/CVC4/CVC4/issues/4289</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4288">https://github.com/CVC4/CVC4/issues/4288</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4287">https://github.com/CVC4/CVC4/issues/4287</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4286">https://github.com/CVC4/CVC4/issues/4286</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4285">https://github.com/CVC4/CVC4/issues/4285</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4283">https://github.com/CVC4/CVC4/issues/4283</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4282">https://github.com/CVC4/CVC4/issues/4282</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4281">https://github.com/CVC4/CVC4/issues/4281</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4277">https://github.com/CVC4/CVC4/issues/4277</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4269">https://github.com/CVC4/CVC4/issues/4269</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4268">https://github.com/CVC4/CVC4/issues/4268</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4262">https://github.com/CVC4/CVC4/issues/4262</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4259">https://github.com/CVC4/CVC4/issues/4259</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4254">https://github.com/CVC4/CVC4/issues/4254</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4250">https://github.com/CVC4/CVC4/issues/4250</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4236">https://github.com/CVC4/CVC4/issues/4236</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4229">https://github.com/CVC4/CVC4/issues/4229</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4228">https://github.com/CVC4/CVC4/issues/4228</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4225">https://github.com/CVC4/CVC4/issues/4225</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4224">https://github.com/CVC4/CVC4/issues/4224</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4216">https://github.com/CVC4/CVC4/issues/4216</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4199">https://github.com/CVC4/CVC4/issues/4199</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4184">https://github.com/CVC4/CVC4/issues/4184</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4183">https://github.com/CVC4/CVC4/issues/4183</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4182">https://github.com/CVC4/CVC4/issues/4182</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4180">https://github.com/CVC4/CVC4/issues/4180</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4170">https://github.com/CVC4/CVC4/issues/4170</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4165">https://github.com/CVC4/CVC4/issues/4165</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4160">https://github.com/CVC4/CVC4/issues/4160</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4155">https://github.com/CVC4/CVC4/issues/4155</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/4143">https://github.com/CVC4/CVC4/issues/4143</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4134">https://github.com/CVC4/CVC4/issues/4134</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4133">https://github.com/CVC4/CVC4/issues/4133</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4132">https://github.com/CVC4/CVC4/issues/4132</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4130">https://github.com/CVC4/CVC4/issues/4130</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4124">https://github.com/CVC4/CVC4/issues/4124</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4112">https://github.com/CVC4/CVC4/issues/4112</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4106">https://github.com/CVC4/CVC4/issues/4106</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4104">https://github.com/CVC4/CVC4/issues/4104</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4102">https://github.com/CVC4/CVC4/issues/4102</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/4101">https://github.com/CVC4/CVC4/issues/4101</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4098">https://github.com/CVC4/CVC4/issues/4098</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/4097">https://github.com/CVC4/CVC4/issues/4097</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4096">https://github.com/CVC4/CVC4/issues/4096</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4095">https://github.com/CVC4/CVC4/issues/4095</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/4094">https://github.com/CVC4/CVC4/issues/4094</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4092">https://github.com/CVC4/CVC4/issues/4092</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4091">https://github.com/CVC4/CVC4/issues/4091</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/4089">https://github.com/CVC4/CVC4/issues/4089</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4088">https://github.com/CVC4/CVC4/issues/4088</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4087">https://github.com/CVC4/CVC4/issues/4087</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4086">https://github.com/CVC4/CVC4/issues/4086</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4085">https://github.com/CVC4/CVC4/issues/4085</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4084">https://github.com/CVC4/CVC4/issues/4084</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4083">https://github.com/CVC4/CVC4/issues/4083</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4082">https://github.com/CVC4/CVC4/issues/4082</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4076">https://github.com/CVC4/CVC4/issues/4076</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4075">https://github.com/CVC4/CVC4/issues/4075</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4070">https://github.com/CVC4/CVC4/issues/4070</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4066">https://github.com/CVC4/CVC4/issues/4066</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/4064">https://github.com/CVC4/CVC4/issues/4064</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4061">https://github.com/CVC4/CVC4/issues/4061</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4055">https://github.com/CVC4/CVC4/issues/4055</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4053">https://github.com/CVC4/CVC4/issues/4053</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4050">https://github.com/CVC4/CVC4/issues/4050</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4047">https://github.com/CVC4/CVC4/issues/4047</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4025">https://github.com/CVC4/CVC4/issues/4025</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4022">https://github.com/CVC4/CVC4/issues/4022</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4021">https://github.com/CVC4/CVC4/issues/4021</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4019">https://github.com/CVC4/CVC4/issues/4019</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4018">https://github.com/CVC4/CVC4/issues/4018</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/4015">https://github.com/CVC4/CVC4/issues/4015</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4010">https://github.com/CVC4/CVC4/issues/4010</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4009">https://github.com/CVC4/CVC4/issues/4009</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/4008">https://github.com/CVC4/CVC4/issues/4008</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/4007">https://github.com/CVC4/CVC4/issues/4007</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3996">https://github.com/CVC4/CVC4/issues/3996</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3995">https://github.com/CVC4/CVC4/issues/3995</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3994">https://github.com/CVC4/CVC4/issues/3994</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3992">https://github.com/CVC4/CVC4/issues/3992</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3948">https://github.com/CVC4/CVC4/issues/3948</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3947">https://github.com/CVC4/CVC4/issues/3947</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3946">https://github.com/CVC4/CVC4/issues/3946</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/3944">https://github.com/CVC4/CVC4/issues/3944</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3935">https://github.com/CVC4/CVC4/issues/3935</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/3931">https://github.com/CVC4/CVC4/issues/3931</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3849">https://github.com/CVC4/CVC4/issues/3849</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3824">https://github.com/CVC4/CVC4/issues/3824</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/3814">https://github.com/CVC4/CVC4/issues/3814</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3813">https://github.com/CVC4/CVC4/issues/3813</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3803">https://github.com/CVC4/CVC4/issues/3803</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3783">https://github.com/CVC4/CVC4/issues/3783</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3776">https://github.com/CVC4/CVC4/issues/3776</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3744">https://github.com/CVC4/CVC4/issues/3744</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3737">https://github.com/CVC4/CVC4/issues/3737</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3735">https://github.com/CVC4/CVC4/issues/3735</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3729">https://github.com/CVC4/CVC4/issues/3729</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3725">https://github.com/CVC4/CVC4/issues/3725</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3724">https://github.com/CVC4/CVC4/issues/3724</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3720">https://github.com/CVC4/CVC4/issues/3720</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3719">https://github.com/CVC4/CVC4/issues/3719</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3718">https://github.com/CVC4/CVC4/issues/3718</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3695">https://github.com/CVC4/CVC4/issues/3695</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3696">https://github.com/CVC4/CVC4/issues/3696</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/3694">https://github.com/CVC4/CVC4/issues/3694</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3692">https://github.com/CVC4/CVC4/issues/3692</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3689">https://github.com/CVC4/CVC4/issues/3689</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3687">https://github.com/CVC4/CVC4/issues/3687</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3683">https://github.com/CVC4/CVC4/issues/3683</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3664">https://github.com/CVC4/CVC4/issues/3664</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3662">https://github.com/CVC4/CVC4/issues/3662</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3661">https://github.com/CVC4/CVC4/issues/3661</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3656">https://github.com/CVC4/CVC4/issues/3656</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3655">https://github.com/CVC4/CVC4/issues/3655</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3654">https://github.com/CVC4/CVC4/issues/3654</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3653">https://github.com/CVC4/CVC4/issues/3653</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3652">https://github.com/CVC4/CVC4/issues/3652</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3651">https://github.com/CVC4/CVC4/issues/3651</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3648">https://github.com/CVC4/CVC4/issues/3648</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3647">https://github.com/CVC4/CVC4/issues/3647</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3646">https://github.com/CVC4/CVC4/issues/3646</a> Confirmed <br />
<a href="https://github.com/CVC4/CVC4/issues/3645">https://github.com/CVC4/CVC4/issues/3645</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3644">https://github.com/CVC4/CVC4/issues/3644</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3636">https://github.com/CVC4/CVC4/issues/3636</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3635">https://github.com/CVC4/CVC4/issues/3635</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3634">https://github.com/CVC4/CVC4/issues/3634</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3633">https://github.com/CVC4/CVC4/issues/3633</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3628">https://github.com/CVC4/CVC4/issues/3628</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3626">https://github.com/CVC4/CVC4/issues/3626</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3625">https://github.com/CVC4/CVC4/issues/3625</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3623">https://github.com/CVC4/CVC4/issues/3623</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3622">https://github.com/CVC4/CVC4/issues/3622</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3621">https://github.com/CVC4/CVC4/issues/3621</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3620">https://github.com/CVC4/CVC4/issues/3620</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3619">https://github.com/CVC4/CVC4/issues/3619</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3618">https://github.com/CVC4/CVC4/issues/3618</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3617">https://github.com/CVC4/CVC4/issues/3617</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3615">https://github.com/CVC4/CVC4/issues/3615</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3614">https://github.com/CVC4/CVC4/issues/3614</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3537">https://github.com/CVC4/CVC4/issues/3537</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3536">https://github.com/CVC4/CVC4/issues/3536</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3533">https://github.com/CVC4/CVC4/issues/3533</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3527">https://github.com/CVC4/CVC4/issues/3527</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3513">https://github.com/CVC4/CVC4/issues/3513</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3507">https://github.com/CVC4/CVC4/issues/3507</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3506">https://github.com/CVC4/CVC4/issues/3506</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3505">https://github.com/CVC4/CVC4/issues/3505</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/3428">https://github.com/CVC4/CVC4/issues/3428</a> Won't fix <br />
<a href="https://github.com/CVC4/CVC4/issues/3411">https://github.com/CVC4/CVC4/issues/3411</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3407">https://github.com/CVC4/CVC4/issues/3407</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3247">https://github.com/CVC4/CVC4/issues/3247</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3248">https://github.com/CVC4/CVC4/issues/3248</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3249">https://github.com/CVC4/CVC4/issues/3249</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3414">https://github.com/CVC4/CVC4/issues/3414</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3425">https://github.com/CVC4/CVC4/issues/3425</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3429">https://github.com/CVC4/CVC4/issues/3429</a> Dup <br />
<a href="https://github.com/CVC4/CVC4/issues/3307">https://github.com/CVC4/CVC4/issues/3307</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3474">https://github.com/CVC4/CVC4/issues/3474</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/3480">https://github.com/CVC4/CVC4/issues/3480</a> Fixed <br />
<h2 id="z3">========= Z3 =========</h2>
<h2 id="z3sound">Soundness Bugs</h2>
<h4>Refutation Soundness</h4>
<a href="https://github.com/Z3Prover/z3/issues/4804#issuecomment-774685463">https://github.com/Z3Prover/z3/issues/4804#issuecomment-774685463</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4986">https://github.com/Z3Prover/z3/issues/4986</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4804#issuecomment-766299059">https://github.com/Z3Prover/z3/issues/4804#issuecomment-766299059</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4804#issuecomment-760169889">https://github.com/Z3Prover/z3/issues/4804#issuecomment-760169889</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754415368">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754415368</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4928#issuecomment-754375896">https://github.com/Z3Prover/z3/issues/4928#issuecomment-754375896</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4928">https://github.com/Z3Prover/z3/issues/4928</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4927">https://github.com/Z3Prover/z3/issues/4927</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4926">https://github.com/Z3Prover/z3/issues/4926</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4875">https://github.com/Z3Prover/z3/issues/4875</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4837">https://github.com/Z3Prover/z3/issues/4837</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4804">https://github.com/Z3Prover/z3/issues/4804</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4776">https://github.com/Z3Prover/z3/issues/4776</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4765">https://github.com/Z3Prover/z3/issues/4765</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4758">https://github.com/Z3Prover/z3/issues/4758</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4744">https://github.com/Z3Prover/z3/issues/4744</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-694770925">https://github.com/Z3Prover/z3/issues/4532#issuecomment-694770925</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-694636895">https://github.com/Z3Prover/z3/issues/4532#issuecomment-694636895</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4655#issuecomment-693786605">https://github.com/Z3Prover/z3/issues/4655#issuecomment-693786605</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-678005179">https://github.com/Z3Prover/z3/issues/4532#issuecomment-678005179</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-667189458">https://github.com/Z3Prover/z3/issues/4532#issuecomment-667189458</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4607#issue-669572743">https://github.com/Z3Prover/z3/issues/4607#issue-669572743</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-664640834">https://github.com/Z3Prover/z3/issues/4532#issuecomment-664640834</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4590#issuecomment-664048612">https://github.com/Z3Prover/z3/issues/4590#issuecomment-664048612</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-664033954">https://github.com/Z3Prover/z3/issues/4532#issuecomment-664033954</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-660500673">https://github.com/Z3Prover/z3/issues/4532#issuecomment-660500673</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issuecomment-657133104">https://github.com/Z3Prover/z3/issues/4518#issuecomment-657133104</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issuecomment-651681842">https://github.com/Z3Prover/z3/issues/4518#issuecomment-651681842</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-651388720">https://github.com/Z3Prover/z3/issues/4532#issuecomment-651388720</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-647014226">https://github.com/Z3Prover/z3/issues/4532#issuecomment-647014226</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issuecomment-646055042">https://github.com/Z3Prover/z3/issues/4518#issuecomment-646055042</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issue-638850637">https://github.com/Z3Prover/z3/issues/4518#issue-638850637</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4461">https://github.com/Z3Prover/z3/issues/4461</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4455">https://github.com/Z3Prover/z3/issues/4455</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4453">https://github.com/Z3Prover/z3/issues/4453</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4422">https://github.com/Z3Prover/z3/issues/4422</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4408">https://github.com/Z3Prover/z3/issues/4408</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4378">https://github.com/Z3Prover/z3/issues/4378</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4377">https://github.com/Z3Prover/z3/issues/4377</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4376">https://github.com/Z3Prover/z3/issues/4376</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4374">https://github.com/Z3Prover/z3/issues/4374</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4340">https://github.com/Z3Prover/z3/issues/4340</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4339">https://github.com/Z3Prover/z3/issues/4339</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4338">https://github.com/Z3Prover/z3/issues/4338</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4337">https://github.com/Z3Prover/z3/issues/4337</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4314">https://github.com/Z3Prover/z3/issues/4314</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4311">https://github.com/Z3Prover/z3/issues/4311</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4300">https://github.com/Z3Prover/z3/issues/4300</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4299">https://github.com/Z3Prover/z3/issues/4299</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4280">https://github.com/Z3Prover/z3/issues/4280</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4275">https://github.com/Z3Prover/z3/issues/4275</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4273">https://github.com/Z3Prover/z3/issues/4273</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4272">https://github.com/Z3Prover/z3/issues/4272</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4270">https://github.com/Z3Prover/z3/issues/4270</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4269">https://github.com/Z3Prover/z3/issues/4269</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4258">https://github.com/Z3Prover/z3/issues/4258</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4246">https://github.com/Z3Prover/z3/issues/4246</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4188">https://github.com/Z3Prover/z3/issues/4188</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4175">https://github.com/Z3Prover/z3/issues/4175</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4150">https://github.com/Z3Prover/z3/issues/4150</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4122">https://github.com/Z3Prover/z3/issues/4122</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4104">https://github.com/Z3Prover/z3/issues/4104</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4096">https://github.com/Z3Prover/z3/issues/4096</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4089">https://github.com/Z3Prover/z3/issues/4089</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4069">https://github.com/Z3Prover/z3/issues/4069</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4067">https://github.com/Z3Prover/z3/issues/4067</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4049">https://github.com/Z3Prover/z3/issues/4049</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4040">https://github.com/Z3Prover/z3/issues/4040</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4019">https://github.com/Z3Prover/z3/issues/4019</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4017">https://github.com/Z3Prover/z3/issues/4017</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4015">https://github.com/Z3Prover/z3/issues/4015</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4014">https://github.com/Z3Prover/z3/issues/4014</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4006">https://github.com/Z3Prover/z3/issues/4006</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3972">https://github.com/Z3Prover/z3/issues/3972</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3969">https://github.com/Z3Prover/z3/issues/3969</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3968">https://github.com/Z3Prover/z3/issues/3968</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3941">https://github.com/Z3Prover/z3/issues/3941</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3935">https://github.com/Z3Prover/z3/issues/3935</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3922">https://github.com/Z3Prover/z3/issues/3922</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3918">https://github.com/Z3Prover/z3/issues/3918</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3914">https://github.com/Z3Prover/z3/issues/3914</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3896">https://github.com/Z3Prover/z3/issues/3896</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3891">https://github.com/Z3Prover/z3/issues/3891</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3890">https://github.com/Z3Prover/z3/issues/3890</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3886">https://github.com/Z3Prover/z3/issues/3886</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3876">https://github.com/Z3Prover/z3/issues/3876</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3872">https://github.com/Z3Prover/z3/issues/3872</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3858">https://github.com/Z3Prover/z3/issues/3858</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3820">https://github.com/Z3Prover/z3/issues/3820</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3819">https://github.com/Z3Prover/z3/issues/3819</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3710">https://github.com/Z3Prover/z3/issues/3710</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3679">https://github.com/Z3Prover/z3/issues/3679</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3487">https://github.com/Z3Prover/z3/issues/3487</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3486">https://github.com/Z3Prover/z3/issues/3486</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3485">https://github.com/Z3Prover/z3/issues/3485</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3460">https://github.com/Z3Prover/z3/issues/3460</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3457">https://github.com/Z3Prover/z3/issues/3457</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3455">https://github.com/Z3Prover/z3/issues/3455</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3451">https://github.com/Z3Prover/z3/issues/3451</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3446">https://github.com/Z3Prover/z3/issues/3446</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3442">https://github.com/Z3Prover/z3/issues/3442</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3413">https://github.com/Z3Prover/z3/issues/3413</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3395">https://github.com/Z3Prover/z3/issues/3395</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3395">https://github.com/Z3Prover/z3/issues/3395</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3378">https://github.com/Z3Prover/z3/issues/3378</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3377">https://github.com/Z3Prover/z3/issues/3377</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3375">https://github.com/Z3Prover/z3/issues/3375</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3366">https://github.com/Z3Prover/z3/issues/3366</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3300">https://github.com/Z3Prover/z3/issues/3300</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3262">https://github.com/Z3Prover/z3/issues/3262</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3227">https://github.com/Z3Prover/z3/issues/3227</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3225">https://github.com/Z3Prover/z3/issues/3225</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3222">https://github.com/Z3Prover/z3/issues/3222</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3212">https://github.com/Z3Prover/z3/issues/3212</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3164">https://github.com/Z3Prover/z3/issues/3164</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3157">https://github.com/Z3Prover/z3/issues/3157</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3128">https://github.com/Z3Prover/z3/issues/3128</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3107">https://github.com/Z3Prover/z3/issues/3107</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3106">https://github.com/Z3Prover/z3/issues/3106</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3098">https://github.com/Z3Prover/z3/issues/3098</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3038">https://github.com/Z3Prover/z3/issues/3038</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3028">https://github.com/Z3Prover/z3/issues/3028</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3023">https://github.com/Z3Prover/z3/issues/3023</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2975">https://github.com/Z3Prover/z3/issues/2975</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2974">https://github.com/Z3Prover/z3/issues/2974</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2965">https://github.com/Z3Prover/z3/issues/2965</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2968">https://github.com/Z3Prover/z3/issues/2968</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2967">https://github.com/Z3Prover/z3/issues/2967</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2957">https://github.com/Z3Prover/z3/issues/2957</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2860">https://github.com/Z3Prover/z3/issues/2860</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/2838">https://github.com/Z3Prover/z3/issues/2838</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2832">https://github.com/Z3Prover/z3/issues/2832</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2808">https://github.com/Z3Prover/z3/issues/2808</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2799">https://github.com/Z3Prover/z3/issues/2799</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/2796">https://github.com/Z3Prover/z3/issues/2796</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2777">https://github.com/Z3Prover/z3/issues/2777</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2768">https://github.com/Z3Prover/z3/issues/2768</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2752">https://github.com/Z3Prover/z3/issues/2752</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2699">https://github.com/Z3Prover/z3/issues/2699</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2680">https://github.com/Z3Prover/z3/issues/2680</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/2717">https://github.com/Z3Prover/z3/issues/2717</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2715">https://github.com/Z3Prover/z3/issues/2715</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2678">https://github.com/Z3Prover/z3/issues/2678</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2592">https://github.com/Z3Prover/z3/issues/2592</a> Fixed <br />
<h4>Solution Soundness</h4>
<a href="https://github.com/Z3Prover/z3/issues/4998#issuecomment-779554858">https://github.com/Z3Prover/z3/issues/4998#issuecomment-779554858</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/5028">https://github.com/Z3Prover/z3/issues/5028</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/5002">https://github.com/Z3Prover/z3/issues/5002</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4998">https://github.com/Z3Prover/z3/issues/4998</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754410054">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754410054</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4889">https://github.com/Z3Prover/z3/issues/4889</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4880">https://github.com/Z3Prover/z3/issues/4880</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4795#issuecomment-734165583">https://github.com/Z3Prover/z3/issues/4795#issuecomment-734165583</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4808">https://github.com/Z3Prover/z3/issues/4808</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4802">https://github.com/Z3Prover/z3/issues/4802</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4799">https://github.com/Z3Prover/z3/issues/4799</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4797">https://github.com/Z3Prover/z3/issues/4797</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4795">https://github.com/Z3Prover/z3/issues/4795</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4791">https://github.com/Z3Prover/z3/issues/4791</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4655">https://github.com/Z3Prover/z3/issues/4655</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4655#issue-683221539">https://github.com/Z3Prover/z3/issues/4655#issue-683221539</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-678010014">https://github.com/Z3Prover/z3/issues/4532#issuecomment-678010014</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4607#issuecomment-667066233">https://github.com/Z3Prover/z3/issues/4607#issuecomment-667066233</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532">https://github.com/Z3Prover/z3/issues/4532</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-648218012">https://github.com/Z3Prover/z3/issues/4532#issuecomment-648218012</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4428">https://github.com/Z3Prover/z3/issues/4428</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4423">https://github.com/Z3Prover/z3/issues/4423</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4421">https://github.com/Z3Prover/z3/issues/4421</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4417">https://github.com/Z3Prover/z3/issues/4417</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4416">https://github.com/Z3Prover/z3/issues/4416</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4410">https://github.com/Z3Prover/z3/issues/4410</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4409">https://github.com/Z3Prover/z3/issues/4409</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4391">https://github.com/Z3Prover/z3/issues/4391</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4351">https://github.com/Z3Prover/z3/issues/4351</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4307">https://github.com/Z3Prover/z3/issues/4307</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4306">https://github.com/Z3Prover/z3/issues/4306</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4302">https://github.com/Z3Prover/z3/issues/4302</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4219">https://github.com/Z3Prover/z3/issues/4219</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4162">https://github.com/Z3Prover/z3/issues/4162</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4144">https://github.com/Z3Prover/z3/issues/4144</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4129">https://github.com/Z3Prover/z3/issues/4129</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4123">https://github.com/Z3Prover/z3/issues/4123</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4102">https://github.com/Z3Prover/z3/issues/4102</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4100">https://github.com/Z3Prover/z3/issues/4100</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4071">https://github.com/Z3Prover/z3/issues/4071</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4065">https://github.com/Z3Prover/z3/issues/4065</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4042">https://github.com/Z3Prover/z3/issues/4042</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4041">https://github.com/Z3Prover/z3/issues/4041</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4036">https://github.com/Z3Prover/z3/issues/4036</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4029">https://github.com/Z3Prover/z3/issues/4029</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4018">https://github.com/Z3Prover/z3/issues/4018</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4008">https://github.com/Z3Prover/z3/issues/4008</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4007">https://github.com/Z3Prover/z3/issues/4007</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3994">https://github.com/Z3Prover/z3/issues/3994</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3992">https://github.com/Z3Prover/z3/issues/3992</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3973">https://github.com/Z3Prover/z3/issues/3973</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3971">https://github.com/Z3Prover/z3/issues/3971</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3970">https://github.com/Z3Prover/z3/issues/3970</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3960">https://github.com/Z3Prover/z3/issues/3960</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3942">https://github.com/Z3Prover/z3/issues/3942</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3917">https://github.com/Z3Prover/z3/issues/3917</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3916">https://github.com/Z3Prover/z3/issues/3916</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3913">https://github.com/Z3Prover/z3/issues/3913</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3911">https://github.com/Z3Prover/z3/issues/3911</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3902">https://github.com/Z3Prover/z3/issues/3902</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3856">https://github.com/Z3Prover/z3/issues/3856</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3850">https://github.com/Z3Prover/z3/issues/3850</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3816">https://github.com/Z3Prover/z3/issues/3816</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3811">https://github.com/Z3Prover/z3/issues/3811</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3792">https://github.com/Z3Prover/z3/issues/3792</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3778">https://github.com/Z3Prover/z3/issues/3778</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3732">https://github.com/Z3Prover/z3/issues/3732</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3695">https://github.com/Z3Prover/z3/issues/3695</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3651">https://github.com/Z3Prover/z3/issues/3651</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3629">https://github.com/Z3Prover/z3/issues/3629</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3546">https://github.com/Z3Prover/z3/issues/3546</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3501">https://github.com/Z3Prover/z3/issues/3501</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3497">https://github.com/Z3Prover/z3/issues/3497</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3484">https://github.com/Z3Prover/z3/issues/3484</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3478">https://github.com/Z3Prover/z3/issues/3478</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3447">https://github.com/Z3Prover/z3/issues/3447</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3415">https://github.com/Z3Prover/z3/issues/3415</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3365">https://github.com/Z3Prover/z3/issues/3365</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3359">https://github.com/Z3Prover/z3/issues/3359</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3298">https://github.com/Z3Prover/z3/issues/3298</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3270">https://github.com/Z3Prover/z3/issues/3270</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3266">https://github.com/Z3Prover/z3/issues/3266</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3263">https://github.com/Z3Prover/z3/issues/3263</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3250">https://github.com/Z3Prover/z3/issues/3250</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3210">https://github.com/Z3Prover/z3/issues/3210</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3197">https://github.com/Z3Prover/z3/issues/3197</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3185">https://github.com/Z3Prover/z3/issues/3185</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3183">https://github.com/Z3Prover/z3/issues/3183</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3127">https://github.com/Z3Prover/z3/issues/3127</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3103">https://github.com/Z3Prover/z3/issues/3103</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3047">https://github.com/Z3Prover/z3/issues/3047</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/3005">https://github.com/Z3Prover/z3/issues/3005</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/2978">https://github.com/Z3Prover/z3/issues/2978</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2952">https://github.com/Z3Prover/z3/issues/2952</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/2946">https://github.com/Z3Prover/z3/issues/2946</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2932">https://github.com/Z3Prover/z3/issues/2932</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/2923">https://github.com/Z3Prover/z3/issues/2923</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/2922">https://github.com/Z3Prover/z3/issues/2922</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/2920">https://github.com/Z3Prover/z3/issues/2920</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2917">https://github.com/Z3Prover/z3/issues/2917</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/2896">https://github.com/Z3Prover/z3/issues/2896</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/2894">https://github.com/Z3Prover/z3/issues/2894</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2870">https://github.com/Z3Prover/z3/issues/2870</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/2650">https://github.com/Z3Prover/z3/issues/2650</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/2852">https://github.com/Z3Prover/z3/issues/2852</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2840">https://github.com/Z3Prover/z3/issues/2840</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2836">https://github.com/Z3Prover/z3/issues/2836</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2830">https://github.com/Z3Prover/z3/issues/2830</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2823">https://github.com/Z3Prover/z3/issues/2823</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/2787">https://github.com/Z3Prover/z3/issues/2787</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2783">https://github.com/Z3Prover/z3/issues/2783</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/2766">https://github.com/Z3Prover/z3/issues/2766</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2742">https://github.com/Z3Prover/z3/issues/2742</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2736">https://github.com/Z3Prover/z3/issues/2736</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2721">https://github.com/Z3Prover/z3/issues/2721</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2733">https://github.com/Z3Prover/z3/issues/2733</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2658">https://github.com/Z3Prover/z3/issues/2658</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/2657">https://github.com/Z3Prover/z3/issues/2657</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/2650">https://github.com/Z3Prover/z3/issues/2650</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/2608">https://github.com/Z3Prover/z3/issues/2608</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/2597">https://github.com/Z3Prover/z3/issues/2597</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/2593">https://github.com/Z3Prover/z3/issues/2593</a> Fixed <br />
<h2 id="z3others">Others</h2>
<a href="https://github.com/Z3Prover/z3/issues/4998">https://github.com/Z3Prover/z3/issues/4998</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4866#issuecomment-770176296">https://github.com/Z3Prover/z3/issues/4866#issuecomment-770176296</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4940#issuecomment-769756212">https://github.com/Z3Prover/z3/issues/4940#issuecomment-769756212</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4982">https://github.com/Z3Prover/z3/issues/4982</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5781">https://github.com/CVC4/CVC4/issues/5781</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4951">https://github.com/Z3Prover/z3/issues/4951</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4950">https://github.com/Z3Prover/z3/issues/4950</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-760146161">https://github.com/Z3Prover/z3/issues/4932#issuecomment-760146161</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-760145256">https://github.com/Z3Prover/z3/issues/4932#issuecomment-760145256</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4949">https://github.com/Z3Prover/z3/issues/4949</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754456938">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754456938</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754456117">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754456117</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754453286">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754453286</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754452469">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754452469</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754445079">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754445079</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754444482">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754444482</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754438814">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754438814</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754438238">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754438238</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754437743">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754437743</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754437196">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754437196</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issuecomment-754436626">https://github.com/Z3Prover/z3/issues/4934#issuecomment-754436626</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4934#issue-778634915">https://github.com/Z3Prover/z3/issues/4934#issue-778634915</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4933#issuecomment-754429849">https://github.com/Z3Prover/z3/issues/4933#issuecomment-754429849</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4933#issuecomment-754429219">https://github.com/Z3Prover/z3/issues/4933#issuecomment-754429219</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4933#issue-778609810">https://github.com/Z3Prover/z3/issues/4933#issue-778609810</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754413941">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754413941</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754412830">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754412830</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754411830">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754411830</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754410774">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754410774</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754409519">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754409519</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754408164">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754408164</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754407530">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754407530</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754406966">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754406966</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754406009">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754406009</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4932#issuecomment-754405094">https://github.com/Z3Prover/z3/issues/4932#issuecomment-754405094</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4932">https://github.com/Z3Prover/z3/issues/4932</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4931">https://github.com/Z3Prover/z3/issues/4931</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4929">https://github.com/Z3Prover/z3/issues/4929</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4889#issuecomment-754368494">https://github.com/Z3Prover/z3/issues/4889#issuecomment-754368494</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4889#issuecomment-754366874">https://github.com/Z3Prover/z3/issues/4889#issuecomment-754366874</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4889#issuecomment-754366051">https://github.com/Z3Prover/z3/issues/4889#issuecomment-754366051</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4889#issuecomment-754363706">https://github.com/Z3Prover/z3/issues/4889#issuecomment-754363706</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4895">https://github.com/Z3Prover/z3/issues/4895</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4894">https://github.com/Z3Prover/z3/issues/4894</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4889">https://github.com/Z3Prover/z3/issues/4889</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-741716163">https://github.com/Z3Prover/z3/issues/4532#issuecomment-741716163</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-741715130">https://github.com/Z3Prover/z3/issues/4532#issuecomment-741715130</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4858#issuecomment-740727483">https://github.com/Z3Prover/z3/issues/4858#issuecomment-740727483</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4868">https://github.com/Z3Prover/z3/issues/4868</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4862">https://github.com/Z3Prover/z3/issues/4862</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4861">https://github.com/Z3Prover/z3/issues/4861</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4858">https://github.com/Z3Prover/z3/issues/4858</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4856">https://github.com/Z3Prover/z3/issues/4856</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4843">https://github.com/Z3Prover/z3/issues/4843</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4825">https://github.com/Z3Prover/z3/issues/4825</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4824">https://github.com/Z3Prover/z3/issues/4824</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4812">https://github.com/Z3Prover/z3/issues/4812</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4811">https://github.com/Z3Prover/z3/issues/4811</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4811">https://github.com/Z3Prover/z3/issues/4811</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-727548539">https://github.com/Z3Prover/z3/issues/4532#issuecomment-727548539</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-726867868">https://github.com/Z3Prover/z3/issues/4532#issuecomment-726867868</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4790">https://github.com/Z3Prover/z3/issues/4790</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4789">https://github.com/Z3Prover/z3/issues/4789</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-722256503">https://github.com/Z3Prover/z3/issues/4532#issuecomment-722256503</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4738#issuecomment-713249285">https://github.com/Z3Prover/z3/issues/4738#issuecomment-713249285</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4738#issuecomment-710498935">https://github.com/Z3Prover/z3/issues/4738#issuecomment-710498935</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4738#issue-723487417">https://github.com/Z3Prover/z3/issues/4738#issue-723487417</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4736">https://github.com/Z3Prover/z3/issues/4736</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-706538362">https://github.com/Z3Prover/z3/issues/4532#issuecomment-706538362</a> Fixed <br />
<a href="https://github.com/CVC4/CVC4/issues/5234">https://github.com/CVC4/CVC4/issues/5234</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-706486686">https://github.com/Z3Prover/z3/issues/4532#issuecomment-706486686</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532">https://github.com/Z3Prover/z3/issues/4532</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-704004051">https://github.com/Z3Prover/z3/issues/4532#issuecomment-704004051</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-704003263">https://github.com/Z3Prover/z3/issues/4532#issuecomment-704003263</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4655#issuecomment-703608189">https://github.com/Z3Prover/z3/issues/4655#issuecomment-703608189</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-703363352">https://github.com/Z3Prover/z3/issues/4532#issuecomment-703363352</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4655#issuecomment-703363719">https://github.com/Z3Prover/z3/issues/4655#issuecomment-703363719</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4655#issuecomment-697310581">https://github.com/Z3Prover/z3/issues/4655#issuecomment-697310581</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4655">https://github.com/Z3Prover/z3/issues/4655</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-697079123">https://github.com/Z3Prover/z3/issues/4532#issuecomment-697079123</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-696044712">https://github.com/Z3Prover/z3/issues/4532#issuecomment-696044712</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-696043836">https://github.com/Z3Prover/z3/issues/4532#issuecomment-696043836</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4655#issuecomment-693786862">https://github.com/Z3Prover/z3/issues/4655#issuecomment-693786862</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4655#issuecomment-678010493">https://github.com/Z3Prover/z3/issues/4655#issuecomment-678010493</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-678013046">https://github.com/Z3Prover/z3/issues/4532#issuecomment-678013046</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-677822476">https://github.com/Z3Prover/z3/issues/4532#issuecomment-677822476</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-677821793">https://github.com/Z3Prover/z3/issues/4532#issuecomment-677821793</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4607#issuecomment-677814981">https://github.com/Z3Prover/z3/issues/4607#issuecomment-677814981</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4613">https://github.com/Z3Prover/z3/issues/4613</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-667193930">https://github.com/Z3Prover/z3/issues/4532#issuecomment-667193930</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4607#issuecomment-667191511">https://github.com/Z3Prover/z3/issues/4607#issuecomment-667191511</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4607#issuecomment-667190922">https://github.com/Z3Prover/z3/issues/4607#issuecomment-667190922</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4607#issuecomment-667185251">https://github.com/Z3Prover/z3/issues/4607#issuecomment-667185251</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4607#issuecomment-667010751">https://github.com/Z3Prover/z3/issues/4607#issuecomment-667010751</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-665957789">https://github.com/Z3Prover/z3/issues/4532#issuecomment-665957789</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issuecomment-665944279">https://github.com/Z3Prover/z3/issues/4518#issuecomment-665944279</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issuecomment-665941712">https://github.com/Z3Prover/z3/issues/4518#issuecomment-665941712</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issuecomment-665939105">https://github.com/Z3Prover/z3/issues/4518#issuecomment-665939105</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-664036196">https://github.com/Z3Prover/z3/issues/4532#issuecomment-664036196</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-664034976">https://github.com/Z3Prover/z3/issues/4532#issuecomment-664034976</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issuecomment-659706935">https://github.com/Z3Prover/z3/issues/4518#issuecomment-659706935</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4518#issuecomment-659704281">https://github.com/Z3Prover/z3/issues/4518#issuecomment-659704281</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-648047504">https://github.com/Z3Prover/z3/issues/4532#issuecomment-648047504</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-647158689">https://github.com/Z3Prover/z3/issues/4532#issuecomment-647158689</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issuecomment-647026126">https://github.com/Z3Prover/z3/issues/4532#issuecomment-647026126</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4532#issue-641299448">https://github.com/Z3Prover/z3/issues/4532#issue-641299448</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4450">https://github.com/Z3Prover/z3/issues/4450</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4448">https://github.com/Z3Prover/z3/issues/4448</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4447">https://github.com/Z3Prover/z3/issues/4447</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4446">https://github.com/Z3Prover/z3/issues/4446</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4437">https://github.com/Z3Prover/z3/issues/4437</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4432">https://github.com/Z3Prover/z3/issues/4432</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4429">https://github.com/Z3Prover/z3/issues/4429</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4424">https://github.com/Z3Prover/z3/issues/4424</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4419">https://github.com/Z3Prover/z3/issues/4419</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4418">https://github.com/Z3Prover/z3/issues/4418</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4412">https://github.com/Z3Prover/z3/issues/4412</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4406">https://github.com/Z3Prover/z3/issues/4406</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4396">https://github.com/Z3Prover/z3/issues/4396</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4395">https://github.com/Z3Prover/z3/issues/4395</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4393">https://github.com/Z3Prover/z3/issues/4393</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4392">https://github.com/Z3Prover/z3/issues/4392</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4388">https://github.com/Z3Prover/z3/issues/4388</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4387">https://github.com/Z3Prover/z3/issues/4387</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4373">https://github.com/Z3Prover/z3/issues/4373</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4371">https://github.com/Z3Prover/z3/issues/4371</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4357">https://github.com/Z3Prover/z3/issues/4357</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4355">https://github.com/Z3Prover/z3/issues/4355</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4354">https://github.com/Z3Prover/z3/issues/4354</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4353">https://github.com/Z3Prover/z3/issues/4353</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4352">https://github.com/Z3Prover/z3/issues/4352</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4350">https://github.com/Z3Prover/z3/issues/4350</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4349">https://github.com/Z3Prover/z3/issues/4349</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4344">https://github.com/Z3Prover/z3/issues/4344</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4343">https://github.com/Z3Prover/z3/issues/4343</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4336">https://github.com/Z3Prover/z3/issues/4336</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4315">https://github.com/Z3Prover/z3/issues/4315</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4310">https://github.com/Z3Prover/z3/issues/4310</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4309">https://github.com/Z3Prover/z3/issues/4309</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4308">https://github.com/Z3Prover/z3/issues/4308</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4305">https://github.com/Z3Prover/z3/issues/4305</a> Reported <br />
<a href="https://github.com/Z3Prover/z3/issues/4304">https://github.com/Z3Prover/z3/issues/4304</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4303">https://github.com/Z3Prover/z3/issues/4303</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4301">https://github.com/Z3Prover/z3/issues/4301</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4297">https://github.com/Z3Prover/z3/issues/4297</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4296">https://github.com/Z3Prover/z3/issues/4296</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4295">https://github.com/Z3Prover/z3/issues/4295</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4279">https://github.com/Z3Prover/z3/issues/4279</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4266">https://github.com/Z3Prover/z3/issues/4266</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4263">https://github.com/Z3Prover/z3/issues/4263</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4262">https://github.com/Z3Prover/z3/issues/4262</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4260">https://github.com/Z3Prover/z3/issues/4260</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4259">https://github.com/Z3Prover/z3/issues/4259</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4256">https://github.com/Z3Prover/z3/issues/4256</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4251">https://github.com/Z3Prover/z3/issues/4251</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4250">https://github.com/Z3Prover/z3/issues/4250</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4225">https://github.com/Z3Prover/z3/issues/4225</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4217">https://github.com/Z3Prover/z3/issues/4217</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4213">https://github.com/Z3Prover/z3/issues/4213</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4211">https://github.com/Z3Prover/z3/issues/4211</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4201">https://github.com/Z3Prover/z3/issues/4201</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4200">https://github.com/Z3Prover/z3/issues/4200</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4189">https://github.com/Z3Prover/z3/issues/4189</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4187">https://github.com/Z3Prover/z3/issues/4187</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4185">https://github.com/Z3Prover/z3/issues/4185</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4180">https://github.com/Z3Prover/z3/issues/4180</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4177">https://github.com/Z3Prover/z3/issues/4177</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/4173">https://github.com/Z3Prover/z3/issues/4173</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4171">https://github.com/Z3Prover/z3/issues/4171</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4169">https://github.com/Z3Prover/z3/issues/4169</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4166">https://github.com/Z3Prover/z3/issues/4166</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4165">https://github.com/Z3Prover/z3/issues/4165</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4163">https://github.com/Z3Prover/z3/issues/4163</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4156">https://github.com/Z3Prover/z3/issues/4156</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4155">https://github.com/Z3Prover/z3/issues/4155</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4154">https://github.com/Z3Prover/z3/issues/4154</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4149">https://github.com/Z3Prover/z3/issues/4149</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4146">https://github.com/Z3Prover/z3/issues/4146</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4145">https://github.com/Z3Prover/z3/issues/4145</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4128">https://github.com/Z3Prover/z3/issues/4128</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4127">https://github.com/Z3Prover/z3/issues/4127</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4126">https://github.com/Z3Prover/z3/issues/4126</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4125">https://github.com/Z3Prover/z3/issues/4125</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4124">https://github.com/Z3Prover/z3/issues/4124</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4121">https://github.com/Z3Prover/z3/issues/4121</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4120">https://github.com/Z3Prover/z3/issues/4120</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4119">https://github.com/Z3Prover/z3/issues/4119</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4114">https://github.com/Z3Prover/z3/issues/4114</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4113">https://github.com/Z3Prover/z3/issues/4113</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4112">https://github.com/Z3Prover/z3/issues/4112</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4108">https://github.com/Z3Prover/z3/issues/4108</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4106">https://github.com/Z3Prover/z3/issues/4106</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4099">https://github.com/Z3Prover/z3/issues/4099</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4098">https://github.com/Z3Prover/z3/issues/4098</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4097">https://github.com/Z3Prover/z3/issues/4097</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4091">https://github.com/Z3Prover/z3/issues/4091</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/4090">https://github.com/Z3Prover/z3/issues/4090</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4088">https://github.com/Z3Prover/z3/issues/4088</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4087">https://github.com/Z3Prover/z3/issues/4087</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4084">https://github.com/Z3Prover/z3/issues/4084</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4083">https://github.com/Z3Prover/z3/issues/4083</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4082">https://github.com/Z3Prover/z3/issues/4082</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4081">https://github.com/Z3Prover/z3/issues/4081</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4073">https://github.com/Z3Prover/z3/issues/4073</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4060">https://github.com/Z3Prover/z3/issues/4060</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4053">https://github.com/Z3Prover/z3/issues/4053</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4050">https://github.com/Z3Prover/z3/issues/4050</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4044">https://github.com/Z3Prover/z3/issues/4044</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4031">https://github.com/Z3Prover/z3/issues/4031</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4030">https://github.com/Z3Prover/z3/issues/4030</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4027">https://github.com/Z3Prover/z3/issues/4027</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4026">https://github.com/Z3Prover/z3/issues/4026</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4023">https://github.com/Z3Prover/z3/issues/4023</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4022">https://github.com/Z3Prover/z3/issues/4022</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4021">https://github.com/Z3Prover/z3/issues/4021</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4020">https://github.com/Z3Prover/z3/issues/4020</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4016">https://github.com/Z3Prover/z3/issues/4016</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/4013">https://github.com/Z3Prover/z3/issues/4013</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4010">https://github.com/Z3Prover/z3/issues/4010</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/4009">https://github.com/Z3Prover/z3/issues/4009</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3999">https://github.com/Z3Prover/z3/issues/3999</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3998">https://github.com/Z3Prover/z3/issues/3998</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3991">https://github.com/Z3Prover/z3/issues/3991</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3984">https://github.com/Z3Prover/z3/issues/3984</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3978">https://github.com/Z3Prover/z3/issues/3978</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3977">https://github.com/Z3Prover/z3/issues/3977</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3976">https://github.com/Z3Prover/z3/issues/3976</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3975">https://github.com/Z3Prover/z3/issues/3975</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3961">https://github.com/Z3Prover/z3/issues/3961</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3959">https://github.com/Z3Prover/z3/issues/3959</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3958">https://github.com/Z3Prover/z3/issues/3958</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3957">https://github.com/Z3Prover/z3/issues/3957</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3955">https://github.com/Z3Prover/z3/issues/3955</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3943">https://github.com/Z3Prover/z3/issues/3943</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3937">https://github.com/Z3Prover/z3/issues/3937</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3936">https://github.com/Z3Prover/z3/issues/3936</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3929">https://github.com/Z3Prover/z3/issues/3929</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3928">https://github.com/Z3Prover/z3/issues/3928</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3919">https://github.com/Z3Prover/z3/issues/3919</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3909">https://github.com/Z3Prover/z3/issues/3909</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3903">https://github.com/Z3Prover/z3/issues/3903</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3899">https://github.com/Z3Prover/z3/issues/3899</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3898">https://github.com/Z3Prover/z3/issues/3898</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3897">https://github.com/Z3Prover/z3/issues/3897</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3895">https://github.com/Z3Prover/z3/issues/3895</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3894">https://github.com/Z3Prover/z3/issues/3894</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3892">https://github.com/Z3Prover/z3/issues/3892</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3889">https://github.com/Z3Prover/z3/issues/3889</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3888">https://github.com/Z3Prover/z3/issues/3888</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3887">https://github.com/Z3Prover/z3/issues/3887</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3877">https://github.com/Z3Prover/z3/issues/3877</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3874">https://github.com/Z3Prover/z3/issues/3874</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3873">https://github.com/Z3Prover/z3/issues/3873</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3871">https://github.com/Z3Prover/z3/issues/3871</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3870">https://github.com/Z3Prover/z3/issues/3870</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3869">https://github.com/Z3Prover/z3/issues/3869</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3866">https://github.com/Z3Prover/z3/issues/3866</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3865">https://github.com/Z3Prover/z3/issues/3865</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3863">https://github.com/Z3Prover/z3/issues/3863</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3862">https://github.com/Z3Prover/z3/issues/3862</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3861">https://github.com/Z3Prover/z3/issues/3861</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3859">https://github.com/Z3Prover/z3/issues/3859</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3857">https://github.com/Z3Prover/z3/issues/3857</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3849">https://github.com/Z3Prover/z3/issues/3849</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3846">https://github.com/Z3Prover/z3/issues/3846</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3845">https://github.com/Z3Prover/z3/issues/3845</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3843">https://github.com/Z3Prover/z3/issues/3843</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3839">https://github.com/Z3Prover/z3/issues/3839</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3836">https://github.com/Z3Prover/z3/issues/3836</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3833">https://github.com/Z3Prover/z3/issues/3833</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3832">https://github.com/Z3Prover/z3/issues/3832</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3829">https://github.com/Z3Prover/z3/issues/3829</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3827">https://github.com/Z3Prover/z3/issues/3827</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3826">https://github.com/Z3Prover/z3/issues/3826</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3815">https://github.com/Z3Prover/z3/issues/3815</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3813">https://github.com/Z3Prover/z3/issues/3813</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3810">https://github.com/Z3Prover/z3/issues/3810</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3807">https://github.com/Z3Prover/z3/issues/3807</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3794">https://github.com/Z3Prover/z3/issues/3794</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3793">https://github.com/Z3Prover/z3/issues/3793</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3791">https://github.com/Z3Prover/z3/issues/3791</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3790">https://github.com/Z3Prover/z3/issues/3790</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3777">https://github.com/Z3Prover/z3/issues/3777</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3776">https://github.com/Z3Prover/z3/issues/3776</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3775">https://github.com/Z3Prover/z3/issues/3775</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3774">https://github.com/Z3Prover/z3/issues/3774</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3773">https://github.com/Z3Prover/z3/issues/3773</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/3772">https://github.com/Z3Prover/z3/issues/3772</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3771">https://github.com/Z3Prover/z3/issues/3771</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3770">https://github.com/Z3Prover/z3/issues/3770</a> Confirmed <br />
<a href="https://github.com/Z3Prover/z3/issues/3758">https://github.com/Z3Prover/z3/issues/3758</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3754">https://github.com/Z3Prover/z3/issues/3754</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3750">https://github.com/Z3Prover/z3/issues/3750</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3749">https://github.com/Z3Prover/z3/issues/3749</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3748">https://github.com/Z3Prover/z3/issues/3748</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3747">https://github.com/Z3Prover/z3/issues/3747</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3746">https://github.com/Z3Prover/z3/issues/3746</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3744">https://github.com/Z3Prover/z3/issues/3744</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3743">https://github.com/Z3Prover/z3/issues/3743</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3739">https://github.com/Z3Prover/z3/issues/3739</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3735">https://github.com/Z3Prover/z3/issues/3735</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3734">https://github.com/Z3Prover/z3/issues/3734</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3733">https://github.com/Z3Prover/z3/issues/3733</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3722">https://github.com/Z3Prover/z3/issues/3722</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3720">https://github.com/Z3Prover/z3/issues/3720</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3718">https://github.com/Z3Prover/z3/issues/3718</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3712">https://github.com/Z3Prover/z3/issues/3712</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3705">https://github.com/Z3Prover/z3/issues/3705</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3704">https://github.com/Z3Prover/z3/issues/3704</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3700">https://github.com/Z3Prover/z3/issues/3700</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3699">https://github.com/Z3Prover/z3/issues/3699</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3689">https://github.com/Z3Prover/z3/issues/3689</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3688">https://github.com/Z3Prover/z3/issues/3688</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3686">https://github.com/Z3Prover/z3/issues/3686</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3685">https://github.com/Z3Prover/z3/issues/3685</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3684">https://github.com/Z3Prover/z3/issues/3684</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3683">https://github.com/Z3Prover/z3/issues/3683</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3682">https://github.com/Z3Prover/z3/issues/3682</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3681">https://github.com/Z3Prover/z3/issues/3681</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3680">https://github.com/Z3Prover/z3/issues/3680</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3677">https://github.com/Z3Prover/z3/issues/3677</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3676">https://github.com/Z3Prover/z3/issues/3676</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3675">https://github.com/Z3Prover/z3/issues/3675</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3670">https://github.com/Z3Prover/z3/issues/3670</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3669">https://github.com/Z3Prover/z3/issues/3669</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3665">https://github.com/Z3Prover/z3/issues/3665</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3663">https://github.com/Z3Prover/z3/issues/3663</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3662">https://github.com/Z3Prover/z3/issues/3662</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3661">https://github.com/Z3Prover/z3/issues/3661</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3660">https://github.com/Z3Prover/z3/issues/3660</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3657">https://github.com/Z3Prover/z3/issues/3657</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3656">https://github.com/Z3Prover/z3/issues/3656</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3654">https://github.com/Z3Prover/z3/issues/3654</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3652">https://github.com/Z3Prover/z3/issues/3652</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3648">https://github.com/Z3Prover/z3/issues/3648</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3628">https://github.com/Z3Prover/z3/issues/3628</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3627">https://github.com/Z3Prover/z3/issues/3627</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3625">https://github.com/Z3Prover/z3/issues/3625</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3624">https://github.com/Z3Prover/z3/issues/3624</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3618">https://github.com/Z3Prover/z3/issues/3618</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3597">https://github.com/Z3Prover/z3/issues/3597</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3594">https://github.com/Z3Prover/z3/issues/3594</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3592">https://github.com/Z3Prover/z3/issues/3592</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3589">https://github.com/Z3Prover/z3/issues/3589</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3587">https://github.com/Z3Prover/z3/issues/3587</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3586">https://github.com/Z3Prover/z3/issues/3586</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3585">https://github.com/Z3Prover/z3/issues/3585</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3584">https://github.com/Z3Prover/z3/issues/3584</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3582">https://github.com/Z3Prover/z3/issues/3582</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3579">https://github.com/Z3Prover/z3/issues/3579</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3576">https://github.com/Z3Prover/z3/issues/3576</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3575">https://github.com/Z3Prover/z3/issues/3575</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3574">https://github.com/Z3Prover/z3/issues/3574</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3572">https://github.com/Z3Prover/z3/issues/3572</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3570">https://github.com/Z3Prover/z3/issues/3570</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3557">https://github.com/Z3Prover/z3/issues/3557</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3556">https://github.com/Z3Prover/z3/issues/3556</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3555">https://github.com/Z3Prover/z3/issues/3555</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3554">https://github.com/Z3Prover/z3/issues/3554</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3552">https://github.com/Z3Prover/z3/issues/3552</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3551">https://github.com/Z3Prover/z3/issues/3551</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3550">https://github.com/Z3Prover/z3/issues/3550</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3549">https://github.com/Z3Prover/z3/issues/3549</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3548">https://github.com/Z3Prover/z3/issues/3548</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3547">https://github.com/Z3Prover/z3/issues/3547</a> Won't fix <br />
<a href="https://github.com/Z3Prover/z3/issues/3538">https://github.com/Z3Prover/z3/issues/3538</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3523">https://github.com/Z3Prover/z3/issues/3523</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3522">https://github.com/Z3Prover/z3/issues/3522</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3519">https://github.com/Z3Prover/z3/issues/3519</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3516">https://github.com/Z3Prover/z3/issues/3516</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3514">https://github.com/Z3Prover/z3/issues/3514</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3500">https://github.com/Z3Prover/z3/issues/3500</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3499">https://github.com/Z3Prover/z3/issues/3499</a> Fixed <br />
<a href="https://github.com/Z3Prover/z3/issues/3496">https://github.com/Z3Prover/z3/issues/3496</a> Dup <br />
<a href="https://github.com/Z3Prover/z3/issues/3495">https://github.com/Z3Prover/z3/issues/3495</a> Fixed <br />