L2C

Compiles lifted inference or weighted first-order model counting (WFOMC) into C++ programs.