sweetpea.core.generate.is_satisfiable module

This module provides functionality to test whether a CNF formula is satisfiable.

sweetpea.core.generate.is_satisfiable.cnf_is_satisfiable(cnf)

Determines whether the given CNF formula is satisfiable.

Parameters

cnf (CNF) –

Return type

bool