GANAK
From MaRDI portal
Software:1354200
No author found.
Source code repository: https://github.com/meelgroup/ganak
Related Items (4)
Quantifying software reliability via model-counting ⋮ Counting minimal unsatisfiable subsets ⋮ Taming high treewidth with abstraction, nested dynamic programming, and database technology ⋮ ProCount: weighted projected model counting with graded project-join trees
This page was built for software: GANAK
