• MARCHE Claude's avatar
    few improvements in CE bench · a229dcf0
    MARCHE Claude authored
    * time limit set to 1 sec. Quicker, and results are the same !
    
    * use Stdlib whenever possible
    
    * FIXME: the use of StringMap.bindings should not be useful, and wastes time and memory
    a229dcf0
model_parser.ml 19.2 KB