datafrog (cargo): Lightweight Datalog engine intended to be embedded in other Rust programs
Keywords: datalog|analysis