GitHub repository: nju-websoft/Remp
Primary language: Python
Description: Relational match propagation