Download SharpSAT Managed Code Benchmark from Official Microsoft Download Center

A Surface Pro

Surface Pro

The most versatile laptop

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.