CNF generator and instances added
binary added