• ClauseAllocator : Minisat::Clause
• mkLit : Minisat::Lit
• parseOptions : Minisat::Option
• printUsageAndExit : Minisat::Option
• setHelpPrefixStr : Minisat::Option
• setUsageHelp : Minisat::Option
• toInt : Minisat::lbool
• toLbool : Minisat::lbool