ikpx2

Project information

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

147 Commits
2 Branches
0 Tags

README
MIT License

Created on

August 09, 2020

Loading