KururinTAS

Laurent, Mickaël; Mallem, Maher

doi:10.4230/artifacts.25783

Artifact

KururinTAS Software

Authors Mickaël Laurent , Maher Mallem

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-05-15

Document Identifiers

DOI: 10.4230/artifacts.25783
URN: urn:nbn:de:0030-drops-257838

Author Details

Mickaël Laurent

Charles University, Prague, Czech Republic

Maher Mallem

Inria, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP, UMR 5668, 69342, Lyon cedex 07, France

Content

Software (Source Code): https://github.com/E-Sh4rk/KururinTAS
archived version

Version/Status

Content created at: 2018-12-31

Cite As Get BibTex

Mickaël Laurent, Maher Mallem. KururinTAS (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.25783

Description

Several tools for TASing KuruKuruKururin, including KuruBot.

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail