Documentation ¶ Index ¶ func Solve(f bf.Formula) map[string]bool type Problem func Export(f bf.Formula) Problem Constants ¶ This section is empty. Variables ¶ This section is empty. Functions ¶ func Solve ¶ func Solve(f bf.Formula) map[string]bool Solve solves the given formula. CNF is given to gophersat. If it is satisfiable, the function returns a model, associating each variable name with its binding. Else, the function returns nil. Types ¶ type Problem ¶ type Problem struct { GSProb *solver.Problem Lookup map[int]string } func Export ¶ func Export(f bf.Formula) Problem Source Files ¶ View all Source files bfgophersat.go Click to show internal directories. Click to hide internal directories.