newground.main_transformer_helpers.generate_satisfiability_part module

Module for ensuring satisfiability.

class newground.main_transformer_helpers.generate_satisfiability_part.GenerateSatisfiabilityPart(rule_head, current_rule_position, custom_printer, domain_lookup_dict, safe_variables_rules, rule_variables, rule_comparisons, rule_literals, rule_literals_signums, rule_variables_predicates)

Bases: object

Class for ensuring satisfiability.

generate_sat_part()

Generates the SAT-part.