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.