| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-07-01 | new release | tequa | |
| 2016-05-24 | added examples to pkg | tequa | |
| 2016-05-21 | new version | tequa | |
| 2016-05-21 | version 1.1 | tequa | |
| 2016-05-19 | new bugfix release | tequa | |
| 2016-05-18 | version 1.0 | tequa | |
| 2016-05-01 | not suitable for arm due to minisat | tequa | |
| 2016-05-01 | fixed permissions | tequa | |
| 2016-05-01 | version 0.9 | tequa | |