Interactive Conﬁguration Based on Linear Programming Tarik Hadzic Henrik Reif Andersen IT University Technical Report Series TR-2005-67 ISSN 1600–6100 June 2005