{"id":15398448,"url":"https://github.com/jubnzv/gol-solver","last_synced_at":"2025-03-28T00:29:31.198Z","repository":{"id":94900121,"uuid":"329876027","full_name":"jubnzv/gol-solver","owner":"jubnzv","description":"A solver for John Conway's \"Game of Life\" based on z3.","archived":false,"fork":false,"pushed_at":"2021-01-15T10:25:49.000Z","size":4,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-03-20T03:09:34.963Z","etag":null,"topics":["game-of-life","python","z3","z3py"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jubnzv.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-01-15T10:09:40.000Z","updated_at":"2021-09-05T10:47:11.000Z","dependencies_parsed_at":"2023-04-06T16:46:39.729Z","dependency_job_id":null,"html_url":"https://github.com/jubnzv/gol-solver","commit_stats":{"total_commits":1,"total_committers":1,"mean_commits":1.0,"dds":0.0,"last_synced_commit":"1777e44842d7cfade7001a06ee20614ed6ab5583"},"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jubnzv%2Fgol-solver","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jubnzv%2Fgol-solver/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jubnzv%2Fgol-solver/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jubnzv%2Fgol-solver/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jubnzv","download_url":"https://codeload.github.com/jubnzv/gol-solver/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245948557,"owners_count":20698833,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["game-of-life","python","z3","z3py"],"created_at":"2024-10-01T15:43:53.512Z","updated_at":"2025-03-28T00:29:31.171Z","avatar_url":"https://github.com/jubnzv.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# gol-solver\n\nA SAT forward solver for John Conway's \"Game of Life\" based on z3.\n\n## Usage\n\nYou will need Python 3. Initialize virtual environment and install the dependencies:\n\n```bash\nvirtualenv venv --python=/usr/bin/python3\nvenv/bin/activate\npip3 install -r requirements.txt\n```\n\nThen try to run the solver on the examples:\n\n```bash\npython3 solver.py examples/field1.txt\npython3 solver.py examples/field2.txt\n```\n\n## Field format\n\nThe first line describes field settings in the following format: `\u003cwidth\u003e \u003cheight\u003e \u003cnumber of transitions\u003e`.\n\nSubsequent lines describe the field where:\n+ `.` is a dead cell\n+ `*` is an alive cell\n\n## References\n\n1. [TAOCP 4A](https://www.amazon.com/Art-Computer-Programming-Combinatorial-Algorithms/dp/0201038048) describes the basic idea behind solving of the Game of Life in chapter 7.2.2.2.\n2. [flopp/gol-sat](https://github.com/flopp/gol-sat) – the implementation of the similar solver using C++ and MiniSAT\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjubnzv%2Fgol-solver","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjubnzv%2Fgol-solver","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjubnzv%2Fgol-solver/lists"}