wrapper for solving w/o simplifications and setting of resource constraints