Skip to content

TECHNOLOGY

Z3

1 organization list Z3. Together they took 9 accepted projects from 2024 to 2026.

In GSoC 2026

1

of 1 organizations

Contributors in 2026

5

0.4% of all slots

Projects since 2016

9

9 per organization

First listed

2024

Latest 2026

Organizations

1

All cycles

Organizations listing Z3

Per cycle

  1. 1
  2. 1
View as table
Organizations listing Z3 per cycle
Organizations
20160
20170
20180
20190
20200
20210
20220
20230
20241
20251
20261

Accepted projects at those organizations

Per cycle

  1. 5
  2. 5
View as table
Projects at organizations listing Z3 per cycle
Projects
20160
20170
20180
20190
20200
20210
20220
20230
20244
20255
20265
2026 organizations using Z3
OrganizationStack20262016–26CyclesProjectsSave
The P4 Language ConsortiumProgramming languages
LLVMC+++453/1114

Organizations count toward every technology they list. Official GSoC archive