Minor changes in the FirstUipLearningStrategy class.
Deleted ASP and SAT solvers.