About

CTL was initiated by Ryan H. Lewis. The main purpose was to release software supporting work in experimental algorithmics.