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 (sweetpea.blocks.Block) –
Return type: sweetpea.core.cnf.CNF

sweetpea.server.is_cnf_still_sat(block, additional_clauses)¶

Parameters

block (sweetpea.blocks.Block) –
additional_clauses (List[sweetpea.logic.And]) –

Return type