anchor.diff:  option to the command line:
   
   ....
  -baryonyx-0.4 -o file.lp
  +baryonyx-0.5 -o file.lp
   ....
   
   To run baryonyx into the heuristic model (i.e. trying to valid all
  
positive.code: = Baryonyx
  Gauthier Quesnel <gauthier.quesnel@inra.fr>
  v0.5.x, 2019-??-??
  :toc:
  :homepage: https://github.com/quesnel/baryonyx/
  
  
negative.code: For example:
  
  ....
  baryonyx --bench bx-0.5 -pdelta:0.01 -ptime-limit:60 spp.csv
  ....
  
  The benchmark mode updates the `csv` file with results of computation. The
  