MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / get_ground_sat_answer

Method get_ground_sat_answer

lean_py/z3/solver.py:960–961  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

958 return BoolVal(self._last_result == sat)
959
960 def get_ground_sat_answer(self) -> ExprRef:
961 return BoolVal(self._last_result == sat)
962
963 def get_rules(self) -> list:
964 return list(self._rules)

Callers

nothing calls this directly

Calls 1

BoolValFunction · 0.90

Tested by

no test coverage detected