Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 3 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 (about 5 years ago)
- Default Branch: main
- Last Pushed: 2024-05-13T20:55:23.000Z (6 months ago)
- Last Synced: 2024-05-22T20:31:41.281Z (6 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
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - SAT-bench - benchmark suit for SAT solvers. (Projects / Provers and Solvers)