sweetpea.core.generate.sample_uniform module

This module provides uniform CNF sampling functionality through the sample_uniform() function.

sweetpea.core.generate.sample_uniform.sample_uniform(sample_count, initial_cnf, fresh, support, generation_requests, use_docker=False)

Samples solutions to a CNF problem uniformly. The solution is computed using Unigen.

Parameters

• sample_count (int) –

• initial_cnf (sweetpea.core.cnf.CNF) –

• fresh (int) –

• support (int) –

• generation_requests (List[sweetpea.core.generate.utility.GenerationRequest]) –

• use_docker (bool) –

Return type

List[sweetpea.core.generate.utility.Solution]