mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00
Code Activity

fix typo (#6569)

Browse source
This commit is contained in:
Frederick Robinson 2023-02-03 13:08:35 -08:00 • committed by GitHub
parent cb72b962d1
commit be44ace995
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/python/z3/z3.py
View file

@ -9072,7 +9072,7 @@ def PbGe(args, k):
def PbEq(args, k, ctx=None):
"""Create a Pseudo-Boolean inequality k constraint.
"""Create a Pseudo-Boolean equality k constraint.
>>> a, b, c = Bools('a b c')
>>> f = PbEq(((a,1),(b,3),(c,2)), 3)