Discovering Life patterns via Z3.
Posted: 6 years ago by NIck Palladinos
Discovering multistep Life patterns via Z3.