Function Bools

lean_py/z3/core.py:1080–1081 · view source on GitHub ↗

(names: str)

Source from the content-addressed store, hash-verified

1078
1079
1080	def Bools(names: str) -> tuple[BoolRef, ...]:
1081	return tuple(Bool(n) for n in names.split())
1082
1083
1084	def BitVec(name: str, width: int) -> BitVecRef:

test_bool_variablesMethod · 0.90

test_and_or_notMethod · 0.90

test_impliesMethod · 0.90

test_demorgan_proofMethod · 0.90

test_demorgan2_proofMethod · 0.90

test_contrapositive_proofMethod · 0.90

test_xor_definitionMethod · 0.90

test_bool_biimplicationMethod · 0.90

test_modus_ponensMethod · 0.90

test_hypothetical_syllogismMethod · 0.90

test_dependency_chainMethod · 0.90

test_conflictMethod · 0.90

BoolFunction · 0.85

test_bool_variablesMethod · 0.72

test_and_or_notMethod · 0.72

test_impliesMethod · 0.72

test_demorgan_proofMethod · 0.72

test_demorgan2_proofMethod · 0.72

test_contrapositive_proofMethod · 0.72

test_xor_definitionMethod · 0.72

test_bool_biimplicationMethod · 0.72

test_modus_ponensMethod · 0.72

test_hypothetical_syllogismMethod · 0.72

test_dependency_chainMethod · 0.72

test_conflictMethod · 0.72