# Functions
Compile returns a compiled DNNF for the given formula.
CompileWithHandler returns a compiled DNNF for the given formula.
HandlerWithTimeout returns a new DNNF TimoutHandler for the given timeout.
# Structs
A DNNF holds the formula of the d-DNNF and all the original variables (since some of them might have been eliminated by the compiler).
A TimeoutHandler aborts the DNNF compilation dependent on the time it takes to generate the DNNF.
# Interfaces
A Handler for a DNNF can abort the compilation of a DNNF.