souffle

2.5

Logic Defined Static Analysis

Install

brew install souffle

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	2.5	File SHA-256 `ec13234dafe4585d95b3f4fab7b1af209342581d19a7d94fe32b26566f924a1f`
Apple Silicon	Tahoe	2.5	File SHA-256 `9f47ca5761cd191ab3adfc4c9fbe1d9377faeed4b0a650ccdbc1143f18c31b10`
Apple Silicon	Sequoia	2.5	File SHA-256 `bb1d96230756607da2975eb34cc009b26c60d83db1bb208c08dca77aa91c3202`
Apple Silicon	Sonoma	2.5	File SHA-256 `267ae9e05421940f911a4d2c5a232ead5488653bb17fa08b98675fa337fb8a3e`
Intel	Sonoma	2.5	File SHA-256 `e288491afc7774e88e0ae89ce61c994e7311ad04fd5a5cf28e6581a3c29f3493`
ARM64	Linux	2.5	File SHA-256 `a9a1eea8ebd69b2091c22e5e5e352f9f37748041848a7fcbf140e96fecc7dccb`
x86_64	Linux	2.5	File SHA-256 `98ee8cb076fe6445ca477511c59ff7407731abd8fe1e8612e1e2d249e86b6526`