multi-models-optimization topic
List
multi-models-optimization repositories
diff-SAT
63
Stars
4
Forks
Watchers
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
