Orbiter 2022
Combinatorial Objects
Orbiter - Classification of Combinatorial Objects

User's Guide

Orbiter User's Guide

Programmer's Guide

Orbiter Programmer's Guide

Sources on GitHub

Orbiter Sources on GitHub

Orbiter Team members

Anton Betten, Abdullah AlAzemi, Fatma Karaoglu, Sajeeb Chowdhury. Many contributors not listed here.