Crate rgbd

source ·
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 on-demand, and caches them locally.


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);


  • CNF (Conjunctive Normal Form) representation
  • Digest (hash value) of a benchmark instance
  • Sizes of instance


  • Whether the instance is satisfiable or not