/aspmc

An efficient compilation based algebraic answer set counter.

Primary LanguagePythonMIT LicenseMIT

Stargazers