summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2018-12-03added iconCarsten Csiky (csicar)
2018-12-03added z3 to optdependsCarsten Csiky (csicar)
2018-11-28initial versionCarsten Csiky (csicar)