{{tool.name}}{{ get_hyper_ref_logo("logos", tool.logo) }}

{{tool.name}}

{{ tool.description }}

• Project URL: {{ get_hyper_ref(tool.project_url) }}
{% if tool.repository_url is defined and tool.project_url != tool.repository_url %}
• Repository URL: {{ get_hyper_ref(tool.repository_url) }}
{% endif %} {% if tool.maintainers is defined and tool.maintainers and "Hors Concours" not in (tool.maintainers|join(", ", attribute="name")) %}
• Maintainers:
  {% for maintainer in tool.maintainers %}
  • {% if maintainer.orcid is defined %} {{ get_hyper_ref_orcid(maintainer.orcid, maintainer.name) }} {% else %} {{ maintainer.name }} {% endif %}
  {% endfor %}
{% endif %} {% if tool.input_languages is defined and tool.input_languages %}
• Supported input languages:
  {% for language in tool.input_languages %}
  • {{ language }}
  {% endfor %}
{% endif %}
• License:
  {% for license in tool.spdx_license_identifier.split(" AND ") %}
  • {% if license == 'NOASSERTION' %} {{ license }} {% else %} {% if license.startswith('LicenseRef-') %} {% else %} {% endif %} {{ license }} {% endif %}
  {% endfor %}
{% if tool.techniques is defined and tool.techniques %}
• Supported techniques:
  {% for technique in tool.techniques|sort %}
  • {{ technique }}
  {% endfor %}
{% endif %} {% if tool.frameworks_solvers is defined and tool.frameworks_solvers %}
• Used frameworks / solvers:
  {% for framework in tool.frameworks_solvers|sort %}
  • {{ framework }}
  {% endfor %}
{% endif %} {% if tool.used_actors is defined and tool.used_actors %}
• Used actors / components:
  {% for actor in tool.used_actors %}
  • {{ actor.actor_type }}: {{ actor.description }}
  {% endfor %}
{% endif %} {% if tool.versions is defined and tool.versions %}
• Releases:
  {% for version in tool.versions %}
  • {% if version.doi is defined and version.doi %} {{ version.version }} {% elif version.url is defined and version.url %} {{ version.version }} {% else %} {{ version.version }} {% endif %}
  {% endfor %}
{% endif %} {% if tool.literature is defined and tool.literature %}
• Literature:
  {% for reference in tool.literature %} {% set title = reference.title ~ '. ' ~ reference.year ~ '.' %}
  • {{ get_hyper_ref_pdf(reference.doi, title) }} {{ get_hyper_ref_doi(reference.doi) }}
  {% endfor %}
{% endif %} {% if tool.presentations is defined and tool.presentations %}
• Presentations:
  {% for presentation_file in tool.presentations %}
  • {{ get_hyper_ref_doc("presentations", presentation_file) }}
  {% endfor %}
{% endif %} {% if tool.posters is defined and tool.posters %}
• Posters:
  {% for poster_file in tool.posters %}
  • {{ get_hyper_ref_doc("posters", poster_file) }}
  {% endfor %}
{% endif %} {% if tool.competition_participations is defined and tool.competition_participations %}
• Competition Participations:
  {% for competition in tool.competition_participations %}
  • {{ competition.competition }} ({{ competition.track }}) {% if competition.label is defined and competition.label %} ^{{{ competition.label|join(", ") }}} {% endif %}
  {% endfor %}
{% endif %}
• Edit This Record: {{ get_hyper_ref("https://gitlab.com/sosy-lab/benchmarking/fm-tools/-/blob/main/data/" + tool.id + ".yml") }}