Dsat: A Native SAT Solver for Discrete Logic (ArXiv cs.LO Recent Papers, 2026)