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 1 month 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 (almost 5 years ago)
• Default Branch: main
• Last Pushed: 2024-05-13T20:55:23.000Z (about 2 months ago)
• Last Synced: 2024-05-13T21:55:41.805Z (about 2 months ago)
• Topics: benchmarking, matrix-org, nix-flake, rust, sat-solver
• Language: Rust
• Homepage:
• Size: 28.9 MB
• Stars: 2
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

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