GitHub repository: yanniss/souffle-num-addon
Primary language: C++
Description: Souffle Datalog functors (extensions) for more complex arithmetic