Das Thema

Competition-Results from StarExec

• Schnittstelle zu StarExec
• Informationen sammeln und einordnen
• Schlüsse ziehen

Das Thema

Data-Mining

• Daten sammeln und cachen
• Web-Mining (HTML, JSON, CSV interpretieren)

Das Thema

A Haskell Web-Application

• funktionale Programmiersprache
• Yesod (Web-Framework)

Das Thema

StarExec

StarExec

• Logic solving service
• entwickelt an der Universität von Iowa
• Solver arbeiten auf Benchmarks
  • lösen Probleme

StarExec

• Solver-Benchmark-Paare werden in Jobs organisiert
• Resultate können per CSV abgefragt werden
• andere Daten liegen per Text, HTML, XML oder JSON vor

Anforderungen

• Start einer Competition / Darstellung der Resultate
• Import alter Daten
• Filterung der Daten
• Kurze Ladezeiten

Anforderungen

Was ist eine Competition?

• Wettbewerb zwischen Solver
• wird seit 2005 ausgetragen
• Unterschiedliche Kategorien
• Spezifisches Bewertungssystem
• Grundlage ist TPDB

Anforderungen

Start einer Competition / Darstellung der Resultate

• Schnittstellen von StarExec nutzen
• Darstellung der
  • Competition
  • Resultate
  • Solver-Ausgaben
  • weiterer Informationen

Anforderungen

Import alter Daten

• Import vorliegender Daten vergangener Veranstaltungen
• Universität Paris-Süd (LRI)
  • eigenes strukturiertes Datenformat
• Universität Innsbruck (UIBK)
  • XML-basiert

Anforderungen

Filterung der Daten

• kompetitive Differenzen zwischen den Solvern
• evolutionäre Differenzen zwischen den Versionen

Anforderungen

Kurze Ladezeiten

• Caching der Daten

Implementierung

Implementierung

Haskell

• funktionale Programmiersprache
• robust
• ausdrucksstark
• typsicher

Implementierung

Yesod Web-Framework

• Hebräisch für Basis / Fundament
• Framework für RESTful Web-Services
• Domänenspezifische Sprachen für
  • Templates
  • Persistenz
  • Routen
• Typsichere URLs

Praktisches Resultat:

Implementierung