TY - RPRT TI - LIBOPT - An environment for testing solvers on heterogeneous collections of problems - Version 1.0 AU - Jean Charles Gilbert AU - Xavier Jonsson PY - 2007 UR - https://arxiv.org/abs/cs/0703025 ID - cs/0703025 ER -