It would be nice to compute the logical consistency of the set of rules for the ACLs. Likely using Z3 as it's done in Python code. Is it doable to port that code to Rust? Or should we try to interface with Python? If the latter, how can we distribute it at the end?
It would be nice to compute the logical consistency of the set of rules for the ACLs. Likely using Z3 as it's done in Python code. Is it doable to port that code to Rust? Or should we try to interface with Python? If the latter, how can we distribute it at the end?