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. SharpSATbench is compute-intensive, requiring a moderate-sized heap. There are 10,900 lines of code…