SharpSAT Managed Code Benchmark
SharpSATbench is a CLI managed-code benchmark based on a clause-based satisfiability solver where the logic formula is written in Conjunctive Normal Form. Last published: June 24, 2005.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
1.0
Date Published:
5/15/2024
File Name:
SharpSATbench.zip
File Size:
438.4 KB
SharpSATbench is a CLI managed-code benchmark based on a clause-based satisfiability solver where the logic formula is written in Conjunctive Normal Form. SharpSATbench is compute-intensive, requiring a moderate-sized heap. There are 10,900 lines of code in the C# source of the benchmark.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.