sweetpea.core.generate package

This module provides functionality for interacting with CNF formulas.

SweetPea offers three mechanisms for CNF interaction:

1. Sampling solutions from a CNF formula uniformly via sample_uniform().

2. Sampling solutions from a CNF formula non-uniformly via sample_non_uniform().

3. Determining whether a CNF formula is satisfiable via is_satisfiable().

Subpackages

• sweetpea.core.generate.tools package
  • Submodules
    • sweetpea.core.generate.tools.cryptominisat module
    • sweetpea.core.generate.tools.docker_utility module
    • sweetpea.core.generate.tools.executables module
      • Using This Module As a Script
    • sweetpea.core.generate.tools.return_code module
    • sweetpea.core.generate.tools.tool_error module
    • sweetpea.core.generate.tools.unigen module

Submodules

• sweetpea.core.generate.is_satisfiable module
• sweetpea.core.generate.sample_non_uniform module
• sweetpea.core.generate.sample_uniform module
• sweetpea.core.generate.utility module