Python package for Sentential Decision Diagrams (SDD)
-
Updated
Feb 21, 2025 - C
Python package for Sentential Decision Diagrams (SDD)
High-performance probabilistic exact counter
A toolbox for knowledge compilation
CNF minimizer and minimal independent set minimizer
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting
Neural Property Approximate Quantifier
Minimal Independent Set Finder for CNFs
Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"
Bottom-up sentential decision diagram compiler.
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
Scalable Precise Computation of Shannon Entropy
Generator for CNF'S considering the variance by using model counting with #sat
#SAT solver implemented as part of my bachelor thesis at TU Wien.
Model Counting Competition Submission of Ganak + Approxmc 2025
Add a description, image, and links to the model-counting topic page so that developers can more easily learn about it.
To associate your repository with the model-counting topic, visit your repo's landing page and select "manage topics."