matthiasnickles / diff-asp-propagators Goto Github PK
View Code? Open in Web Editor NEWProof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python
License: Apache License 2.0