kdrag.solvers

Functions

binpath(cmd)
collect_decls(exprs)
collect_sorts(exprs)
expr_to_smtlib(expr)
expr_to_tptp(expr[, env, format, theories])	Pretty print expr as TPTP
funcdecl_smtlib(decl)
install_solvers()
mangle_decl(d[, env])	Mangle a declaration to a tptp name.
run(cmd, args, **kwargs)
smtlib_datatypes(dts)
sort_to_tptp(sort)	Pretty print sort as tptp

Classes

BaseSolver()
EProverTHFSolver()
LeoIIISolver()
MultiSolver([solvers, strict])
NanoCopISolver()
SATSolver()
TweeSolver()
VampireSolver()
VampireTHFSolver()
ZipperpositionSolver()

Modules

egglog
gappa