Method assertions

lean_py/z3/solver.py:601–602

(self)

        )

    def assertions(self) -> list[BoolRef]:
        return list(self._assertions)

    def assert_and_track(self, a: BoolRef, p: BoolRef | None = None) -> None:
        """Add assertion tracked by p (tracking ignored — no unsat core support)."""