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.