[SMT-COMP] Updated participation information on the website

[Aina Niemetz]

Hi all,

I updated and pimped the participants table and the corresponding solver
pages. If you still find any inconsistencies, please let us know!

Thanks,
Aina

On 6/3/19 7:53 AM, Antti Hyvärinen wrote:
> Dear all,
> 
> I updated the web page participation information based on the
> information we received.  Please check that everything is as it should
> be and let me know if there are errors.  The page is
> 
>   https://smt-comp.github.io/participants.html
> 
> By clicking on the solver name you get some more details on the solver.
> 
> Cheers,
> Antti
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20190603/024af9f7/attachment.asc>