Index of /~pat/cpM/choco3/choco-3.3.1

Icon  Name                                     Last modified      Size  Description
[DIR] Parent Directory - [TXT] logback.xml 11-May-2015 13:03 387 [TXT] LICENSE 11-May-2015 13:03 1.6K [TXT] CHANGES.md 11-May-2015 13:03 8.3K [   ] choco-samples-3.3.1-sources.jar 11-May-2015 13:03 198K [   ] choco-solver-3.3.1.jar 11-May-2015 13:03 1.3M [   ] choco-solver-3.3.1-sources.jar 11-May-2015 13:03 1.3M [   ] user_guide-3.3.1.pdf 11-May-2015 13:03 1.3M [   ] choco-solver-3.3.1-with-dependencies.jar 11-May-2015 13:03 5.1M
Apache/2.2.3 (CentOS) Server at www.dcs.gla.ac.uk Port 80