Core library for the CheckMate analysis framework. This library contains various definitions and utilities.