accept solutions that are <= instead of only <
added write_x method to OptimResult. Bug fixes.