diff-SAT

Probabilistic Answer Set and SAT solver based on Differentiable Satisfiability :::::: Use cases, e.g., Probabilistic SAT solving, Weighted SAT solving, …

Stars

48

Forks

2

Language

Scala

Last Updated

May 27, 2023

Similar Repos