Dsat: A Native SAT Solver for Discrete Logic
arXiv:2605.09347v1 Announce Type: new
Abstract: Discrete variables are common in many applications, such as probabilistic reasoning, planning and explainable AI. When symbolic reasoning techniques are brought in to bear on these applications, a standa…