SDK for calling running http service of puan-server-db
Project description
Puan Client DB
A small tool for calling a running puan-server-db
http service.
Install
pip install puan-client-db
Quickstart
import puan.logic.plog as pg
from puan_client_db import PropositionClient
# create a client
client = PropositionClient("http://localhost:8000") # we run a service on our local machine on port 8000
# create a puan model (pip install puan)
model = pg.All(
pg.Xor(*"xyz"),
pg.Imply(
pg.Any(*"AB"),
pg.All(*"ijk")
)
)
# store the model by commiting it into the service
# This will commit to a new model with default branch name (usually "main" but depends on backend config)
# (second parameter returned is an error)
sha_first, _ = client.commit(model)
# ... and we later made some changes
model = model.assume({"i": 1}) # this fixes `i` to always be set to 1/True
# then made another commit
client.commit(model)
# some time later we want to checkout the first commit
# (second parameter returned is an error)
model_first, _ = client.checkout(sha_first)
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
puan-client-db-0.0.4.tar.gz
(7.0 kB
view hashes)
Built Distribution
Close
Hashes for puan_client_db-0.0.4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 88191431add3eae3edb7742530fad31e05573ff843832f1f5ee5b399e687e0c4 |
|
MD5 | c786332e27f47020b04aa14cead88f6e |
|
BLAKE2b-256 | 918fc34d2b2a721d226272620090746fab0490ca60b0f66e25d1fbd2ae9c47b4 |