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

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