API to to a generic proof search engine. More...
#include <search.h>
List of all members.
API to to a generic proof search engine.
Definition at line 50 of file search.h.