issues
search
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 reasoner connector interface
#6
Closed
baskwbx
closed
7 months ago