added LP solver which doesn't work yet