Maintenance of Benchmark Instances and their Attributes
Project description
gbd (Global Benchmark Database)
Programming Language
Python 3
Installation
- Setup python3 (with SSL support) and pip3
- Clone Repository
- Install required packages:
pip3 install -U -r requirements.txt
- Make sure path for
python3
incli.py
is correct (default:#!/usr/bin/python3
) - Create executable link:
ln -s $respository/cli.py ~/bin/gbd
- Optional: Download a database, e.g., https://baldur.iti.kit.edu/gbd/, and safe it under /path/to/db/file.db
- Configure DB Path:
export GBD_DB=/path/to/db/file.db
(and put it in your .bashrc) - Reinitialize paths in "benchmarks" table:
gbd init /path/to/cnf
Test
gbd get -r benchmarks
Using GBD Server
- After getting started, you can use GBD from the command line as explained in the help section
- For starting the server on Linux, run
sh /server/run_server.sh /path/to/db/file.db
. If no path is given, the script uses the path fromGBD_DB
- For starting the server on Windows, run
\path\to\python3\interpreter \server\server.py -d \path\to\db\file.db
Help on basic commands
gbd -h
Help on specific command
gbd [command] -h
Documenation
GBD was initially presented at the Pragmatics of SAT (POS) Workshop 2018 hosted at FLoC 2018 in Oxford, UK. Thus, two resources can now be used as documentation of the system.
misc/doc/
The directory contains the Latex source of the original paper published at POS 2018.
misc/presentation/
The directory contains the Latex source of the presentation slides as presented at POS 2018.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Close
Hashes for global_benchmark_database_tool-2.4.4.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | e2d23777d01d5606013114aee06a134aa3855aa3b97f2ad91592b2f4968d516a |
|
MD5 | 76ca11c5480d70e2238f637d4fedbd2b |
|
BLAKE2b-256 | 887cc33a967f4348de2f8a5d94125f4cb10771b023531fe86b6a33ec61df2ae5 |
Close
Hashes for global_benchmark_database_tool-2.4.4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1c144c779a68c476617e86d1dab29b05e674de11230b33b46a238482d5f3b44a |
|
MD5 | ce844ecd49fc070351bf8d2e756b27d3 |
|
BLAKE2b-256 | d43900a9443ac0b269c7c346ef42585c7cb4c561e84896c057ffa8a8e351f126 |