Security News
tea.xyz Spam Plagues npm and RubyGems Package Registries
Tea.xyz, a crypto project aimed at rewarding open source contributions, is once again facing backlash due to an influx of spam packages flooding public package registries.
GBD Tools: Maintenance and Distribution of Benchmark Instances and their Attributes
Readme
GBD Benchmark Database (GBD) is about bridging the gap between research on SAT algorithms and data science.
gbd
gbd serve
gbd_core.api.GBD
pip install gbd-tools
export GBD_DB=[path/to/database1]:[path/to/database2:..]
(and put it in your .bashrc)gbd info
and gbd --help
from gbd_core.api import GBD
with GBD(['path/to/database1', 'path/to/database2', ..] as gbd:
df = gbd.query("family = hardware-bmc", resolve=['verified-result', 'runtime-kissat'])
This runs under https://benchmark-database.de/.
The command is available in gbd-tools: gbd serve --help
We assume https://benchmark-database.de/getdatabase/meta.db is in your gbd path GBD_DB
.
Get list of benchmark instances in database:
gbd get
Get list of benchmark instances including some meta-data
gbd get -r result family
Filter for specific benchmark instances with gbd-query
gbd get "family = hardware-bmc" -r filename
We assume you installed the python extension module gdbc
.
All initialization routines can run in parallel and per-process ressource limits can be set.
See gbd init --help
for more info.
To initialize a database with local paths to your own benchmarks:
gbd -d my.db init local [path/to/benchmarks]
After that in my.db, the features local and filename exist and are associated with their corresponding gbd-hash:
gbd -d my.db get -r local filename
To identify isomorphic instances (approximately by the hash of the sorted degree-sequence of their graph representation):
gbd -d my.db init isohash
After that in my.db, instances can be grouped by their isohash:
gbd -d my.db get -r local filename -g isohash
gbd -d my.db:mybase.db init --target mybase base
gbd -d my.db:mygate.db init --target mygate gate
FAQs
GBD Tools: Maintenance and Distribution of Benchmark Instances and their Attributes
We found that gbd-tools 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
Tea.xyz, a crypto project aimed at rewarding open source contributions, is once again facing backlash due to an influx of spam packages flooding public package registries.
Security News
As cyber threats become more autonomous, AI-powered defenses are crucial for businesses to stay ahead of attackers who can exploit software vulnerabilities at scale.
Security News
UnitedHealth Group disclosed that the ransomware attack on Change Healthcare compromised protected health information for millions in the U.S., with estimated costs to the company expected to reach $1 billion.