Method rule

lean_py/z3/solver.py:927–928

(self, head: Any, body: Any = None, name: str | None = None)

            self._rules.append(head)

    def rule(self, head: Any, body: Any = None, name: str | None = None) -> None:
        self.add_rule(head, body, name)

    def fact(self, head: Any, name: str | None = None) -> None:
        self.add_rule(head, None, name)