There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
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.
