GitHub repository: Horizon12275/DatalogMTL-MagicSet-Transformer
Primary language: C++
Created: 2024-03-11T15:21:20Z
Description: A DatalogMTL Transformer for MagicSet Method