datalog-bench: a benchmark suite for interpretable rule learning.
Difflog: tool for synthesizing Datalog programs using numerical relaxation
Drake: interactive static analysis alarm ranking system for continuous integration
Code2Inv: end-to-end deep learning system for inferring loop invariants
(NeurIPS 2018 Spotlight).
ALPS: Datalog program synthesis engine using bi-directional search and active learning
Nichrome: solver for mixed hard and soft constraints
APISan: semantic cross-checking for sanitizing API usages
(Usenix Security 2016).