epi-project / policy-reasoner

Implements the famous policy reasoner, known as `checker` in Brane terminology. Builds on top of reasoners like eFLINT and meant to be queried by Brane.
1 stars 1 forks source link

Define policy data access/storage interface #8

Closed baskwbx closed 9 months ago

baskwbx commented 1 year ago

De interface moet de volgende functionaliteit definieren: