rminion

Use the Minion constraint solver in R.