- Hem
- Alexandre David
Måste ha Mjukvara För Alexandre David
UPPAAL TIGA 4.1.0-0.9
UPPAAL TIGA är en förlängning av UPPAAL [BDL04] och det genomför den första effektiva on-the-fly algoritm för att lösa spel baserade på tidsinställd spel automater med avseende på nåbarhet och säkerhetsegenskaper.Även tidsinställda spel för länge har...
xmmsctrl 1.9
xmmsctrl är ett litet verktyg för att styra xmms från kommandoraden. xmmsctrl mål ska användas i kombination med sh att testa xmms tillstånd och utföra en lämplig åtgärd, t.ex. om du spelar sedan pausa annat spel.Intresset för detta är att binda nycklar i...