URSA: A System for Uniform Reduction to SAT (Logical Methods in Computer Science, 2012)