Index of /src/soplex-sys-0.1.6/soplex/settings/

../
default-col.set                                    24-Jul-2006 01:21                 139
default-row.set                                    24-Jul-2006 01:21                 139
devex.set                                          24-Jul-2006 01:21                 151
exact-pure-boosting.set                            24-Jul-2006 01:21                 920
exact.set                                          24-Jul-2006 01:21                 914
internalsimplifier.set                             24-Jul-2006 01:21                  68
mpf.set                                            24-Jul-2006 01:21                 125
papilosimplifier.set                               24-Jul-2006 01:21                  68
polish1.set                                        24-Jul-2006 01:21                 134
polish2.set                                        24-Jul-2006 01:21                 134
quad.set                                           24-Jul-2006 01:21                 124
steep.set                                          24-Jul-2006 01:21                 151