<!doctype html>
<html lang="{{ site.lang | default: "en-US" }}">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <title>Bidirectional Transformation for Relational view update Datalog-based Strategies (BIRDS)</title>
{% seo %}
    <link rel="stylesheet" href="{{ 'assets/css/style.css?v=' | append: site.github.build_revision  }}">
    <script src="https://code.jquery.com/jquery-3.3.0.min.js" integrity="sha256-RTQy8VOmNlT6b2PIRur37p6JEBZUE7o8wPgMvu18MC4=" crossorigin="anonymous"></script>
    <script src="{{'assets/js/main.js'  }}"></script>
    <!--[if lt IE 9]>
      <script src="https://cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js" integrity="sha256-3Jy/GbSLrg0o9y5Z5n1uw0qxZECH7C6OQpVBgNFYa0g=" crossorigin="anonymous"></script>
    <![endif]-->
    <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">

  </head>
  <body>

      <header>
        <a href="/{{site.github.repository_folder }}"> <h1>  {{ site.title | default: site.github.repository_name }} </h1> </a>
        <p style="margin-top:0.2em">{{ site.description | default: site.github.project_tagline }}</p>
        <a href="{{ site.github.repository_url }}" class="button fork">View On GitHub</a>
        {% if site.show_downloads %}
        <a href="{{ site.github.zip_url }}" class="button fork">Download .zip</a>
        <a href="{{ site.github.tar_url }}" class="button fork">Download .tar.gz</a>
        {% endif %}
        {% if site.execution_downloads %}
        <a href="{{ site.github.mac_exe }}" class="button fork">Download for Macos</a>
        <a href="{{ site.github.ubuntu_exe }}" class="button fork">Download for Ubuntu</a>
        {% endif %}
      </header>

      <!-- <div id="banner">
        <span id="logo"></span>

        <a href="{{ site.github.repository_url }}" class="button fork"><strong>View On GitHub</strong></a>
        {% if site.show_downloads %}
          <div class="downloads">
            <span>Downloads:</span>
            <ul>
              <li><a href="{{ site.github.zip_url }}" class="button">ZIP</a></li>
              <li><a href="{{ site.github.tar_url }}" class="button">TAR</a></li>
            </ul>
          </div>
        {% endif %}
      </div> -->
      <!-- end banner -->

    <div class="wrapper">
      <nav>
        <ul></ul>
      </nav>
      <section>
        {{ content }}

      </section>
      <footer>
        {% if site.github.is_project_page %}
          <p style="margin-bottom:0em"><small>Maintained by <a href="{{ site.github.owner_url }}">{{ site.github.owner_name }}</a>, Hiroyuki Kato, Zhenjiang Hu</small></p>
        {% endif %}
        <p style="margin-bottom:0em"><small>Theme based on <a href="https://github.com/pages-themes/leap-day">leap-day</a></small></p>
        <p style="margin-bottom:0em"><small>Last updated on {{ site.time | date: '%-d %b %Y' }}</small></p>
      </footer>
    </div>

    {% if site.google_analytics %}
      <script>
        (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
        (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
        m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
        })(window,document,'script','//www.google-analytics.com/analytics.js','ga');
        ga('create', '{{ site.google_analytics }}', 'auto');
        ga('send', 'pageview');
      </script>
    {% endif %}
  </body>
</html>
