Universal interface to decision procedures, constraint solvers, model counters, and related tools