Ge
Generation of a time-table and translation into a CNF merging instance
tt2bm is a program which can be used both to generate time-tabling instances, and to turn them into distance-based merging instances.
Any category Compiler