Added solver properties getters and setters