Puan PV SDK Python

An SDK for connecting to a Puan PV backend.

Example

from puan_pv_sdk_python import PropKey, And, Or, Variable, evaluation_composer

evaluate = evaluation_composer("http://localhost:8080")

keys = evaluate(
    propositions=[
        And(
            variables=[
                Or(
                    variables=[
                        Variable(id='a'),
                        Variable(id='b')
                    ]
                ),
                Variable(id='c')
            ]
        ),
        And(
            variables=[
                Variable(id='a'),
                Variable(id='b')
            ]
        ),
    ], 
    interpretations=[
        {"a": 1, "b": 1, "c": 1},
        {"a": 1, "b": 1, "c": 0},
        {"a": 1, "b": 0, "c": 1},
    ],
).data

# >>> print(keys)
# [(0, 0), (0, 2), (1, 0), (1, 1)]
# Meaning, 
#   - 1st proposition and 1st interpretation returns true,
#   - 1st proposition and 3rd interpretation returns true,
#   - ...
# and so on.