rgbd

GBD基准数据库的非官方Rust客户端，GBD基准数据库，SAT研究的元数据库

许可证

© 2024 Toshiki Teramura (@termoshtt)

此项目受以下任一许可证的许可：

• Apache许可证第2版，(LICENSE-APACHE 或 https://www.apache.org/licenses/LICENSE-2.0)
• MIT许可证 (LICENSE-MIT 或 https://opensource.org/licenses/MIT)

由您选择。

lib.rs:

GBD基准数据库的非官方Rust客户端，GBD基准数据库，SAT研究的元数据库

此crate按需从https://benchmark-database.de/下载实例列表和实际基准实例，并在本地缓存它们。

示例

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