Overview

These aim to be a solver and a generator for ABC Path. See: