gecode.github.io/logo.html at main · Gecode/gecode.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
---
layout: default
title: GECODE logo
headline: Logo
---

<p>
  The Gecode logo has been designed by
  <a href="https://www.linkedin.com/in/lindig/">Christian Lindig</a>.
  Please feel free to use it for linking to our web site.
  You can download the logo in different formats and sizes:
</p>

<ul class="simple-list">
  <li>
    Gecode logo as encapsulated postscript:
    <a href="{{ '/images/gecode-logo.eps' | relative_url }}">gecode-logo.eps</a>
  </li>
  <li>
    Gecode logo as pdf:
    <a href="{{ '/images/gecode-logo.pdf' | relative_url }}">gecode-logo.pdf</a>
  </li>
</ul>

<ul class="logo-grid">
  <li class="logo-grid-item">
    <img src="{{ '/images/gecode-logo-40.png' | relative_url }}" alt="Gecode logo 62 by 40 pixels" width="62" height="40" loading="lazy" decoding="async">
    <a href="{{ '/images/gecode-logo-40.png' | relative_url }}">62 x 40 pixels</a>
  </li>
  <li class="logo-grid-item">
    <img src="{{ '/images/gecode-logo-60.png' | relative_url }}" alt="Gecode logo 93 by 60 pixels" width="93" height="60" loading="lazy" decoding="async">
    <a href="{{ '/images/gecode-logo-60.png' | relative_url }}">93 x 60 pixels</a>
  </li>
  <li class="logo-grid-item">
    <img src="{{ '/images/gecode-logo-100.png' | relative_url }}" alt="Gecode logo 155 by 100 pixels" width="155" height="100" loading="lazy" decoding="async">
    <a href="{{ '/images/gecode-logo-100.png' | relative_url }}">155 x 100 pixels</a>
  </li>
  <li class="logo-grid-item">
    <img src="{{ '/images/gecode-logo-120.png' | relative_url }}" alt="Gecode logo 196 by 126 pixels" width="196" height="126" loading="lazy" decoding="async">
    <a href="{{ '/images/gecode-logo-120.png' | relative_url }}">196 x 126 pixels</a>
  </li>
</ul>