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
59 downloads per month
9MB
254 lines
rgbd
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
- Apache License, Version 2.0, (LICENSE-APACHE or https://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or https://opensource.org/licenses/MIT)
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