Reference
The manual pages and the design of the engine.
---- Design: the world encoding, where actions come from, durability, search, properties, gates and limits.
- cmc(1): the command line.
- libcmc(3): the C interface: cores, events, effects, properties, running a check.
- cmc(7): the model and the rules that keep a pass meaningful.
- The model file: the declarative file that points libcmc at the binary you ship, the environment to explore, and the invariants to check (the direction set in the decision record; landing incrementally).
After make install these are on your system as man cmc,
man libcmc and man 7 cmc. The header,
include/cmc.h,
is the whole public API.