Classifying discrete objects with orbiter

Abstract

Orbiter is a software package to classify discrete objects such as designs, graphs, codes, and objects from finite geometry. It employs the method of breaking the symmetry to attack difficult problem instances by means of subobjects that serve as a stepping stone. The algorithms combine techniques from Group Theory and from Combinatorics. Orbiter is a library of C++ functions that provide functionality for Discrete Mathematics. In order to be applied to a specific problem, code has to be written taylored to the specific application.