Practical exact synthesis