ikpx2

ikpx2

Multithreaded SAT-solver-based spaceship search program for cellular automata