{"id":17644513,"url":"https://github.com/incaseoftrouble/jbdd","last_synced_at":"2025-08-22T05:38:31.453Z","repository":{"id":57731019,"uuid":"95207414","full_name":"incaseoftrouble/jbdd","owner":"incaseoftrouble","description":"Efficient pure Java implementation of (Binary) Decision Diagrams","archived":false,"fork":false,"pushed_at":"2024-06-23T17:17:57.000Z","size":413,"stargazers_count":6,"open_issues_count":0,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-06-04T04:08:38.933Z","etag":null,"topics":["bdds","binary-decision-diagrams","java"],"latest_commit_sha":null,"homepage":"","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/incaseoftrouble.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","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":"AUTHORS","dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-06-23T09:51:27.000Z","updated_at":"2024-06-30T15:35:36.000Z","dependencies_parsed_at":"2022-09-26T22:01:42.422Z","dependency_job_id":"97c79043-1d6c-4445-8947-afc682e09ef9","html_url":"https://github.com/incaseoftrouble/jbdd","commit_stats":null,"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/incaseoftrouble/jbdd","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/incaseoftrouble%2Fjbdd","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/incaseoftrouble%2Fjbdd/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/incaseoftrouble%2Fjbdd/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/incaseoftrouble%2Fjbdd/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/incaseoftrouble","download_url":"https://codeload.github.com/incaseoftrouble/jbdd/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/incaseoftrouble%2Fjbdd/sbom","scorecard":{"id":486899,"data":{"date":"2025-08-11","repo":{"name":"github.com/incaseoftrouble/jbdd","commit":"48ceb5d97cfd4409c6219cf3da2da5097ca8804c"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":4.3,"checks":[{"name":"Code-Review","score":0,"reason":"Found 0/15 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Token-Permissions","score":10,"reason":"GitHub workflow tokens follow principle of least privilege","details":["Info: topLevel 'contents' permission set to 'read': .github/workflows/build.yml:10","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Binary-Artifacts","score":9,"reason":"binaries present in source code","details":["Warn: binary detected: gradle/wrapper/gradle-wrapper.jar:1"],"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build.yml:18: update your workflow using https://app.stepsecurity.io/secureworkflow/incaseoftrouble/jbdd/build.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/build.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/incaseoftrouble/jbdd/build.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/build.yml:25: update your workflow using https://app.stepsecurity.io/secureworkflow/incaseoftrouble/jbdd/build.yml/master?enable=pin","Info:   0 out of   2 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   1 third-party GitHubAction dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: GNU General Public License v3.0: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Signed-Releases","score":0,"reason":"Project has not signed or included provenance with any releases.","details":["Warn: release artifact v0.6 not signed: https://api.github.com/repos/incaseoftrouble/jbdd/releases/108275415","Warn: release artifact v0.1.1 not signed: https://api.github.com/repos/incaseoftrouble/jbdd/releases/6823974","Warn: release artifact v0.6 does not have provenance: https://api.github.com/repos/incaseoftrouble/jbdd/releases/108275415","Warn: release artifact v0.1.1 does not have provenance: https://api.github.com/repos/incaseoftrouble/jbdd/releases/6823974"],"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 7 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-19T18:02:11.973Z","repository_id":57731019,"created_at":"2025-08-19T18:02:11.973Z","updated_at":"2025-08-19T18:02:11.973Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":271592476,"owners_count":24786595,"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","status":"online","status_checked_at":"2025-08-22T02:00:08.480Z","response_time":65,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":["bdds","binary-decision-diagrams","java"],"created_at":"2024-10-23T10:06:27.334Z","updated_at":"2025-08-22T05:38:31.427Z","avatar_url":"https://github.com/incaseoftrouble.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"# JBDD\n\n![Build Status](https://github.com/incaseoftrouble/jbdd/actions/workflows/build.yml/badge.svg)\n\nJBDD (Java Binary Decision Diagrams) is (yet another) native implementation of (Reduced Ordered) BDDs in Java.\nIt is loosely inspired by [JDD](https://bitbucket.org/vahidi/jdd/wiki/Home), but completely rewritten from scratch, since JDD contained some bugs and was missing features like, for example, substitution.\nThe design goals are simplicity, performance, and no dependencies.\n\n## Performance\n\nInternally, JBDD does not use any objects, only primitive arrays, and uses manual memory management.\nJBDD also provides an object-oriented interface with automatic reference management through weak references (instead of `finalize()`, which has a hefty performance penalty).\nThe overhead incurred by the object-oriented interface largely depends on the number of referenced objects, but was hardly measurable in several synthetic benchmarks.\n\nCompared to other libraries, JBDD beats most Java implementations and even is on-par or faster than established, C-based libraries such as BuDDy.\n(Measured on several synthetic benchmarks.)\n\n## Features\n\nSome more fancy BDD features and variants are missing.\nMost notably, these are ZDDs, MTBDDs, and variable reordering.\nThey might get added over time, but if you require such features, consider using optimized implementations like [CUDD](http://vlsi.colorado.edu/~fabio/), [BuDDy](http://buddy.sourceforge.net/manual/main.html) or [Sylvan](http://fmt.cs.utwente.nl/tools/sylvan/) instead.\n\n## Usage\n\nYou can either build the jar using gradle (see below) or fetch it from maven central:\n\n```xml\n\u003cdependency\u003e\n  \u003cgroupId\u003ede.tum.in\u003c/groupId\u003e\n  \u003cartifactId\u003ejbdd\u003c/artifactId\u003e\n  \u003cversion\u003e0.6.0\u003c/version\u003e\n\u003c/dependency\u003e\n```\n\nand for gradle:\n\n```kotlin\n// https://mvnrepository.com/artifact/de.tum.in/jbdd\nimplementation(\"de.tum.in:jbdd:0.6.0\")\n```\n\n## Building\n\nBuild the project using gradle.\nAll dependencies are downloaded automatically.\n\n    $ ./gradlew build\n\nOr, if you are on windows,\n\n    # gradlew.bat build\n\n## Referencing\n\nIf you use JBDD for your experiments, I would appreciate a citation akin to the following.\n\n```\n@misc{jbdd,\n    author = {Tobias Meggendorfer},\n    title = {{JBDD}: A Java {BDD} Library},\n    howpublished = \"\\url{https://github.com/incaseoftrouble/jbdd}\",\n    year = 2017\n}\n```","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fincaseoftrouble%2Fjbdd","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fincaseoftrouble%2Fjbdd","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fincaseoftrouble%2Fjbdd/lists"}