weighted-sat-solving

There are 0 repository under weighted-sat-solving topic.

MatthiasNickles / diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
satisfiability answer-set-programming optimization probabilistic-programming artificial-intelligence sat-solver logic-programming psat constraint-programming differentiable-satisfiability differentiable-programming dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving
Language:Scala 60