{"id":20294182,"url":"https://github.com/grab/pbcount","last_synced_at":"2026-06-09T05:03:56.181Z","repository":{"id":216217714,"uuid":"740759436","full_name":"grab/pbcount","owner":"grab","description":"Research source code release for pseudo boolean counter based on addmc","archived":false,"fork":false,"pushed_at":"2025-02-13T09:24:41.000Z","size":99,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-02-13T10:29:27.560Z","etag":null,"topics":[],"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/grab.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":"2024-01-09T02:16:41.000Z","updated_at":"2025-02-13T09:24:44.000Z","dependencies_parsed_at":"2024-01-09T04:01:32.139Z","dependency_job_id":"c874188f-ce6a-483f-ba04-16840f8fd2a6","html_url":"https://github.com/grab/pbcount","commit_stats":null,"previous_names":["grab/pbcount"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grab%2Fpbcount","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grab%2Fpbcount/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grab%2Fpbcount/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/grab%2Fpbcount/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/grab","download_url":"https://codeload.github.com/grab/pbcount/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":241789305,"owners_count":20020450,"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":[],"created_at":"2024-11-14T15:28:09.440Z","updated_at":"2026-06-09T05:03:51.158Z","avatar_url":"https://github.com/grab.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"# PBCount\n\nResearch source code release for pseudo boolean counter for our papers: \n  \n*Engineering an Exact Pseudo-Boolean Model Counter* (AAAI2024)\n  \n*Towards Projected and Incremental Pseudo-Boolean Model Counting* (AAAI2025)\n\n## Dependencies\n\ncudd 3.0.0 (```https://github.com/ivmai/cudd/releases/tag/cudd-3.0.0```)  \ncxxopts 2.1.2 (```https://github.com/jarro2783/cxxopts/blob/v2.1.2/include/cxxopts.hpp```)  \nboost 1.82 (```https://www.boost.org/```)\n\n## Build\n\nMake sure cmake and boost library is installed on the system.\n\nPlease build with gcc 10 and above for linux and clang for macOS.\n\nPleas download `lib.tar` from `https://github.com/vardigroup/ADDMC/blob/master/lib.tar` and place it in the main codebase directory.\n\nAlternatively you can create the `lib.tar` in the main directory of codebase. `lib.tar` should contain `cudd-3.0.0` and `cxxopts.hpp` and extracts to the `lib` folder as follows:\n```\n\u003cmain codebase dir\u003e\n    - lib\n        - cudd-3.0.0 (extract the cudd files here, in the same directory structure as the repo)\n        - cxxopts.hpp\n```\n\n`lib.tar` is automatically extracted using cmake, which is invoked by `./COMPILE.sh`.\n\n```\nBuild `pbcount` with `./COMPILE.sh`\n```\n\nIf you have the library files in other directories, please make changes to the `CMakeLists.txt` file using `LINK_DIRECTORIES` to specify library location and `INCLUDE_DIRECTORIES` to specify include directories for builds. \n\n## Usage\n\nExample pb formula file (`.opb` files) can be found in the `examples` folder.\n\nCall pbcount on the examples as follow\n\n```\n./pbcount --wf 1 --cf examples/example1.opb\n./pbcount --wf 1 --cf examples/example2.opb\n./pbcount --wf 2 --cf examples/example3.opb\n```\n\nFor more detailed usage and paramters, see `./pbcount -h`","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgrab%2Fpbcount","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgrab%2Fpbcount","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgrab%2Fpbcount/lists"}