Verified record · from the answer index
souffle
clitested · static-verifiedscore 23/100signed passport ✓38 monthly downloads
Logic Defined Static Analysis
cli:brew:souffle · published by souffle-lang · source repository
Verified record · from the answer index
Logic Defined Static Analysis
cli:brew:souffle · published by souffle-lang · source repository