Index of /~pat/extremal/distribution

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 CRAPL-LICENSE.txt       2013-04-18 13:02  4.0K  
 Exists.class            2013-06-17 18:29  5.5K  
 Exists.java             2013-04-18 13:02  3.6K  
 MinGirth.class          2013-06-17 18:29  3.4K  
 MinGirth.java           2013-04-18 13:02  3.8K  
 choco-2.1.0-basic.jar   2013-04-18 13:02  2.4M  
 distribution.zip        2013-04-19 10:07  2.2M  
 readme.txt              2013-04-19 10:05  2.0K