Expand description
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);
Structs§
- CNF (Conjunctive Normal Form) representation
- Digest (hash value) of a benchmark instance
- Sizes of instance
Enums§
- Whether the instance is satisfiable or not
Functions§
- Get the results of instances
- Get sizes of instances
- Get a list of instances for a given track