Scheduling attribute grammars with SAT-solvers