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