/diff-SAT

Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

Primary LanguageScalaMIT LicenseMIT

Issues