| Age | Commit message (Expand) | 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 |