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

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