Index of /~pat/cpM/choco4/choco-4.0.8

Icon  Name                           Last modified      Size  Description
[PARENTDIR] Parent Directory                                    -   
[TXT] CHANGES.md                     2018-07-23 13:11  6.3K  
[TXT] LICENSE                        2018-07-23 13:11  1.6K  
[   ] apidocs-4.0.8.zip              2018-07-23 13:11  4.6M  
[   ] choco-solver-4.0.8-no-dep.jar  2018-07-23 13:11  1.3M  
[   ] choco-solver-4.0.8-sources.jar 2018-07-23 13:11  927K  
[   ] choco-solver-4.0.8.jar         2018-07-23 13:11  6.4M  
[   ] user_guide-4.0.8.pdf           2018-07-23 13:11  1.0M
Apache/2.4.59 (codeit) Server at www.dcs.gla.ac.uk Port 443