MatthiasNickles/diff-SAT

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

语言：Scala · GitHub 星标：72 · Fork：3

话题：answer-set-programming · artificial-intelligence · constraint-programming · differentiable-programming · differentiable-satisfiability · dimacs-cnf · logic-programming · multi-models-optimization

在 GitHub 上查看原仓库