URSA: A System for Uniform Reduction to SAT
SAT v CSP