weighted-sat-solving topic

List weighted-sat-solving repositories

Stars

Forks

Watchers

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