cx_program

Module to get counterexample program.

get_difference_constraint(use_gc: bool, aux: Auxiliaries) -> str

Get the difference constraint.

get_difference_program(outputs: set[Predicate], aux: Auxiliaries) -> str

Get the program to detect differences in outputs.

get_generate_program(inputs: set[Predicate], assumptions: str | None, aux: Auxiliaries, ground_terms: set[str]) -> str

Get the program to generate inputs.

get_public_reduct(prog: list[AST], outputs: set[Predicate], auxiliaries: Auxiliaries) -> list[AST]

Compute the public reduct of a program with respect to a set of output predicates.

normalize_program(prog: list[AST]) -> list[AST]

Normalize a logic program.