sweetpea.server module

This module provides functionality to communicate with the server.

sweetpea.server.build_cnf(block)

Converts a Block into a CNF represented as a Unigen-compatible string.

Parameters

block (Block) –

Return type

CNF

sweetpea.server.is_cnf_still_sat(block, additional_clauses)

Parameters

• block (Block) –

• additional_clauses (List[And]) –

Return type

bool