{"id":16740509,"url":"https://github.com/flopp/gol-sat","last_synced_at":"2025-03-15T23:40:38.003Z","repository":{"id":146399729,"uuid":"44443720","full_name":"flopp/gol-sat","owner":"flopp","description":" A SAT-based forward/backwards solver for Conway's \"Game of Life\".","archived":false,"fork":false,"pushed_at":"2024-06-02T14:57:59.000Z","size":19,"stargazers_count":3,"open_issues_count":2,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-22T12:23:44.620Z","etag":null,"topics":["conways-game-of-life","game-of-life","gameoflife","minisat","sat","sat-solver","satisfiability"],"latest_commit_sha":null,"homepage":null,"language":"C++","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/flopp.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":"2015-10-17T15:53:23.000Z","updated_at":"2025-01-13T22:24:56.000Z","dependencies_parsed_at":null,"dependency_job_id":"835d594c-8d45-4c4f-a3e6-85d3e48e042c","html_url":"https://github.com/flopp/gol-sat","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flopp%2Fgol-sat","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flopp%2Fgol-sat/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flopp%2Fgol-sat/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/flopp%2Fgol-sat/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/flopp","download_url":"https://codeload.github.com/flopp/gol-sat/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243806032,"owners_count":20350773,"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":["conways-game-of-life","game-of-life","gameoflife","minisat","sat","sat-solver","satisfiability"],"created_at":"2024-10-13T00:58:59.240Z","updated_at":"2025-03-15T23:40:37.975Z","avatar_url":"https://github.com/flopp.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# GoL-SAT\n\nA SAT-based forward/backwards solver for Conway's \"Game of Life\".\n\n## Compile\n\n1. Make sure `git`, `cmake`, and `boost::program_options` are installed\n2. Clone the repository: `$ git clone https://github.com/flopp/gol-sat`\n3. Change into the newly created directory: `$ cd gol-sat`\n2. Build: `$ make`\n\n## Usage\n\nRun `$ bin/gol-sat -e X pattern.txt` to perform a *backwards computation* consisting of `X` steps an finally yields the pattern specified in the file `pattern.txt`.\n\nRun `$ bin/gol-sat -f -e X pattern.txt` to perform a *forward computation* consisting of `X` steps starting with the pattern specified in the file `pattern.txt`.\n\n## Pattern Format\nThe text file format used for patterns starts with two numbers specifying the `width` and `height` of the pattern. Then `width` * `height` cell characters follow, where\n\n- `.` or `0` is a dead cell\n- `X` or `1` is an alive cell\n- `?` is an unspecified cell\n\nThe `patterns` subdirectory contains some samples.\n\n## Example\nThe following command performs backwards computation consisting of two evolution steps (option `-e 2`) that finally yield the game of life pattern specified in the file `patterns/smily.txt`:\n\n```\n$ bin/gol-sat -e 2 patterns/smily.txt\n-- Reading pattern from file: patterns/smily.txt\n-- Building formula for 2 evolution steps...\n-- Setting pattern constraint on last generation...\n-- Solving formula...\n\n-- Initial generation:\n...X.....XX\n..X....X...\n.X..X....XX\n.X.XXX.XX..\n..X...XX...\n....X..X...\nX.X....XXXX\nX.XX.X.....\n......X..XX\n...X.X..X..\n\n-- Evolves to:\n...........\n..XX....X..\n.X..XXXX.X.\n.X.XXX.XXX.\n..X........\n.X.X.....X.\n..X.X.XXXX.\n..XX..XX...\n..XX.XX..X.\n.........X.\n\n-- Evolves to final generation (from pattern):\n...........\n..XXXXXXX..\n.X.......X.\n.X.X...X.X.\n.X.......X.\n.X.X...X.X.\n.X..XXX..X.\n.X.......X.\n..XXXXXXX..\n...........\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fflopp%2Fgol-sat","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fflopp%2Fgol-sat","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fflopp%2Fgol-sat/lists"}