• shuji narazaki's avatar
    Mios version 1.6.1 (#71) · 1051b1ef
    shuji narazaki authored
    - Better benchmarking
    - Introduce new algorithms: 
      - ACIDS #79 
      - An EMA-based restart heuristics #72 
      - A new clause scoring scheme #76 
    - The clause sorter doesn't allocate a temporal vector #84 
    - Set a maximum heap size as a terminating trigger (default: 7GB)   
    1051b1ef