Text this: Dsat: A Native SAT Solver for Discrete Logic