ASPARTIX-D

Aus International Center for Computational Logic

Version vom 2. Juni 2015, 14:35 Uhr von Sarah Gaggl (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu:Navigation, Suche

ASPARTIX-D

Welcome to the system page of ASPARTIX-D. This page contains information on the system, provide downloads for recent contributions and gives an overview of publications regarding the system ASPARTIX-D.

About

People

Sarah Gaggl
Norbert Manthey

Download

ICCMA 2015 submission: aspartix_d.tar.gz
ICCMA 2015 benchmark-suite: benchmarks-tests_iccma2015.zip

Contact

sarah.gaggl@tu-dresden.de

Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Sarah_Alice_Gaggl/ASPARTIX-D&oldid=16195“