A sat solver based set of search utilities for conwayś game of life and other cellular automata
Primary LanguageCOtherNOASSERTION