Sign in Sign up
cargo

cedar-policy-symcc

Symbolic Cedar Compiler (SymCC): translates queries about Cedar policies to SMT

cargo View on Cargo

Activity

Latest release
1w ago
Total releases
18
Cadence
~16 days
Last 12 months
18

Reach

Downloads
99.9k

Details

License
Apache-2.0
First release
Nov 10, 2025
Releases
Version Released
0.8.0 minor
0.7.0 minor
0.6.0 unknown
0.5.3 unknown
0.5.2 unknown
0.5.1 unknown
0.5.0 unknown
0.4.0 unknown
0.1.4 unknown
0.2.1 unknown
0.3.2 unknown
0.3.1 unknown
0.3.0 unknown
0.1.3 unknown
0.2.0 unknown
0.1.2 unknown
0.1.1 unknown
0.1.0 unknown