sweetpea.core.generate.tools package

This module provides access to external tools for use in CNF generation, solving, and sampling.

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