Answer Set and SAT Solver for probability distribution-aware model sampling and multimodel optimization using differentiable satisfiability - View it on GitHub