API to the CNF proof rules. More...
#include <cnf_rules.h>
List of all members.
.
API to the CNF proof rules.