3 unstable releases

0.2.1 May 11, 2024
0.2.0 May 6, 2024
0.1.0 May 6, 2024

#1593 in Database interfaces

Download history 2/week @ 2024-06-16 9/week @ 2024-06-30 16/week @ 2024-07-28 20/week @ 2024-08-25 4/week @ 2024-09-01 38/week @ 2024-09-22 20/week @ 2024-09-29

59 downloads per month

MIT/Apache

9MB
254 lines

rgbd

crate docs.rs master

Unofficial Rust client for GBD Benchmark Database, A Problem Meta-Data Library for Research in SAT

License

© 2024 Toshiki Teramura (@termoshtt)

This project is licensed under either of

at your option.


lib.rs:

Unofficial Rust client for GBD Benchmark Database, A Problem Meta-Data Library for Research in SAT

This crate downloads instance lists and actual benchmark instances from https://benchmark-database.de/ on-demand, and caches them locally.

Examples

Get instances of the main track in SAT Competition 2023

use rgbd::get_track;

let instances = get_track("main_2023").unwrap();
assert_eq!(instances.len(), 400);

// Take some small instance
let cnf = instances[14].read().unwrap();
assert_eq!(cnf.num_variables, 45);
assert_eq!(cnf.num_clauses, 376);

Dependencies

~25–36MB
~554K SLoC