{"id":20600846,"url":"https://github.com/yingjieqiao/comp-struct-2d","last_synced_at":"2025-06-23T05:07:54.720Z","repository":{"id":69720937,"uuid":"305258392","full_name":"YingjieQiao/Comp-Struct-2D","owner":"YingjieQiao","description":"16-bit ripple carry adder. ISTD 2D challenge, 50.002 section.","archived":false,"fork":false,"pushed_at":"2020-10-22T01:32:19.000Z","size":383,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"master","last_synced_at":"2025-06-23T05:07:42.331Z","etag":null,"topics":["arithmetic-logic-unit"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":false,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/YingjieQiao.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"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":"2020-10-19T04:01:47.000Z","updated_at":"2021-01-18T09:07:35.000Z","dependencies_parsed_at":null,"dependency_job_id":"351f87bd-8aff-4565-8583-9e771a68de28","html_url":"https://github.com/YingjieQiao/Comp-Struct-2D","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/YingjieQiao/Comp-Struct-2D","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/YingjieQiao%2FComp-Struct-2D","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/YingjieQiao%2FComp-Struct-2D/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/YingjieQiao%2FComp-Struct-2D/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/YingjieQiao%2FComp-Struct-2D/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/YingjieQiao","download_url":"https://codeload.github.com/YingjieQiao/Comp-Struct-2D/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/YingjieQiao%2FComp-Struct-2D/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":261417589,"owners_count":23155074,"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":["arithmetic-logic-unit"],"created_at":"2024-11-16T08:39:34.726Z","updated_at":"2025-06-23T05:07:49.708Z","avatar_url":"https://github.com/YingjieQiao.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Comp-Struct-2D\nISTD 2D Challenge - 50.002 section\n\n# Colab\n\n1. You can fork a copy of this repo and clone to your computer. \n\n2. Create a new branch using `git checkout -b BRANCHNAME`\n\n3. Commit the code and push to a new branch, and open a pull request.\n\nThe rule of thumb is that don't push code to master branch directly.\n\n\n# Optimized carry-lookahead 32 bit adder\n\nThe idea is adapated from the 50.002 2D handout. See the diagram in the handout.\n\n# CNF file generation output\n\n```\nConsole Output\nParsing from /home/administrator/WebBC2CNF/files/adder32bit_1004514.bc\nUsing file format version 1.1\nThe circuit has 760 gates\nThe circuit has 728 gates and 1171 edges after sharing\nThe circuit has 697 gates after CNF normalization\nThe circuit has 695 gates and 1136 edges after sharing\nThe max-min height of the circuit is 8\nThe max-max height of the circuit is 66\nThe circuit has 695 relevant gates\nThe circuit has 65 relevant input gates\nComputing cnf size... done\nThe cnf has 539 variables and 1614 clauses\nPrinting the CNF formula...\nDone\n```\n\n# Test CNF UNSAT\n\nAt `./CS2D/`, run `java -jar findsolssat/findsolssat.jar lookahead.cnf`\n\nExpected: `Unsat : true`\n\n![Terminal Output](https://github.com/jzhang38/Comp-Struct-2D/blob/yingjie/assets/out.png)\n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fyingjieqiao%2Fcomp-struct-2d","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fyingjieqiao%2Fcomp-struct-2d","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fyingjieqiao%2Fcomp-struct-2d/lists"}