https://github.com/shnarazk/SAT-bench

A benchmark suit for SAT solvers
https://github.com/shnarazk/SAT-bench

benchmarking matrix-org nix-flake rust sat-solver

Last synced: about 2 months ago
JSON representation

A benchmark suit for SAT solvers

• Host: GitHub
• URL: https://github.com/shnarazk/SAT-bench
• Owner: shnarazk
• License: gpl-3.0
• Created: 2019-09-27T11:52:13.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2025-05-06T22:34:59.000Z (about 2 months ago)
• Last Synced: 2025-05-06T23:28:05.472Z (about 2 months ago)
• Topics: benchmarking, matrix-org, nix-flake, rust, sat-solver
• Language: Rust
• Homepage:
• Size: 29.4 MB
• Stars: 2
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - SAT-bench - benchmark suit for SAT solvers. (Projects / Provers and Solvers)