ceetle - A Computional Tree Logic Verifier

This crate is used for the the ceetle library.