GBDC provides efficient implementations of functions for benchmark instance identification, instance feature extraction and instance transformation.
GBDC provides a command-line tool as well as the Python package gbdc.
The Python package gbdc is used by Global Benchmark Database.
GBDC provides benchmark instance identifiers, feature extractors, and instance transformers for several problem domains, including propositional satisfiability (SAT) and optimization (MaxSAT), as well as Pseudo-Boolean Optimization (PBO). A description of the supported domains, feature extractors, and instance transformers can be found in the documentation.
pip install gbdclibarchive for reading from a large variety of compressed formats (in some systems provided by the package libarchive-dev).Install libarchive
apt install libarchive-dev pybind11-devbrew install libarchive pybind11Run pip install . --user in the repository directory.
FAQs
Extension Module for GBD
We found that gbdc demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 1 open source maintainer collaborating on the project.
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Security News
Fluent Assertions is facing backlash after dropping the Apache license for a commercial model, leaving users blindsided and questioning contributor rights.
Research
Security News
Socket researchers uncover the risks of a malicious Python package targeting Discord developers.
Security News
The UK is proposing a bold ban on ransomware payments by public entities to disrupt cybercrime, protect critical services, and lead global cybersecurity efforts.