DeepLog
Added One module for N formulas. DeepLogModuleFactory.compile(*nodes) takes any number of formula ASTs and returns one module with a column per formula, in the order given. Before, N formulas meant N compile calls — N circuit factories, N knowledge compilations, and a copy of every predicate module per formula — even w...