petablox/difflog

Difflog: Synthesizing Datalog Programs using Numerical Relaxation

Scala