Mentions légales du service

Skip to content
  • Sylvain Dailler's avatar
    Add %t/%m for timelimit/memlimit in strategy definitions · bf3b9624
    Sylvain Dailler authored
    This allows a strategy to call provers with the default timelimit/memlimit
    parameter.
    Example: "c CVC4,1.5 %t %m"
    
    Remove set_session_timelimit/memlimit from server_utils: put them in
    controller_itp so that they directly edit the configuration of the
    controller.
    Edit parser of strategies to allow %t and %m.
    bf3b9624