Formulog Datalog + SMT + FP for writing SMT-based static analyses AbcDatalog Open-source Datalog implementation in Java