The counterSharp Model Counting Benchmark

Technical Report

Author(s):Samuel Teuber and Alexander Weigl
Institution:Karlsruhe Institute of Technology
Year:2022
DOI:10.5281/zenodo.5984174

BibTeX

@TechReport{MCBenchmark,
  author       = {Samuel Teuber and Alexander Weigl},
  title        = {The counterSharp Model Counting Benchmark},
  institution  = {Karlsruhe Institute of Technology},
  year         = {2022},
  month        = feb,
  doi          = {10.5281/zenodo.5984174}
}