9-Logic Suite

The dataset consists of 9 elementary logic function synthesis tasks that were originally used by Lenski et al. to demonstrate that complex tasks are sometimes easier to solve in conjunction with other tasks than they are to solve directly.