Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
floc18 [2018/11/01 08:56]
jpms
floc18 [2018/11/01 08:57] (current)
jpms
Line 1: Line 1:
-RC2, the ReasonLab MaxSAT solver was awarded two medals at the FLoC 2018 Olypic ​Games, for winning the two complete categories of the MaxSAT Evaluation.+====== FLoC 2018 ====== 
 + 
 +RC2, the ReasonLab MaxSAT solver was awarded two medals at the [[https://​www.floc2018.org/​|FLoC 2018]] [[http://​www.labri.fr/​perso/​lsimon/​flog2018/​|Olympic ​Games]], for winning the two complete categories of the [[https://​maxsat-evaluations.github.io/​|MaxSAT Evaluation]].
  
 {{:​flog18-medals.png?​400|The medals!}} {{:​flog18-medals.png?​400|The medals!}}
  
Print/export