local

Module to check local uniqueness.

is_locally_unique(prg: list[AST], counterexample: Counterexample) -> bool

Check if a program is locally unique for a potential counterexample.

Test if prg has exactly one stable model under the addition of the facts given by the input and output of the counterexample. The program is assumed to have at least one stable model, otherwise an error is raised.