API to to a generic proof search engine. More...
#include <search.h>
List of all members.
API to to a generic proof search engine.