SAT modulo monotonic theories