https://github.com/termoshtt/rgbd

Unofficial Rust client for GBD Benchmark Database
https://github.com/termoshtt/rgbd

benchmark sat-solver

Last synced: about 1 year ago
JSON representation

Unofficial Rust client for GBD Benchmark Database

• Host: GitHub
• URL: https://github.com/termoshtt/rgbd
• Owner: termoshtt
• License: apache-2.0
• Created: 2024-05-04T16:33:50.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2024-05-11T08:50:58.000Z (almost 2 years ago)
• Last Synced: 2025-02-08T00:02:52.178Z (about 1 year ago)
• Topics: benchmark, sat-solver
• Language: Rust
• Homepage: https://crates.io/crates/rgbd
• Size: 8.71 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE-APACHE

Awesome Lists containing this project

README

          
rgbd

=====

[![crate](https://img.shields.io/crates/v/rgbd.svg)](https://crates.io/crates/rgbd) 

[![docs.rs](https://docs.rs/rgbd/badge.svg)](https://docs.rs/rgbd)

[![master](https://img.shields.io/badge/docs-master-blue)](https://termoshtt.github.io/rgbd/rgbd/index.html)

Unofficial Rust client for [GBD Benchmark Database](https://github.com/Udopia/gbd), [A Problem Meta-Data Library for Research in SAT](https://easychair.org/publications/paper/jQXv)

License

--------

© 2024 Toshiki Teramura (@termoshtt)

This project is licensed under either of

- Apache License, Version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or https://www.apache.org/licenses/LICENSE-2.0)

- MIT license ([LICENSE-MIT](LICENSE-MIT) or https://opensource.org/licenses/MIT)

at your option.