| refs/tags/v1.3.1 | v1.3.1 | 9308a57 | v1.3.1 | 28 April 2020, 08:48:10 UTC |
| refs/tags/v1.3.0 | v1.3.0 | 5fce1c7 | v1.3.0 | 28 April 2020, 08:43:19 UTC |
| refs/tags/v1.2.0 | v1.2.0 | 5fce1c7 | v1.2.0 | 15 April 2020, 13:11:45 UTC |
| refs/tags/v1.2 | v1.2 | 5fce1c7 | v1.2 | 15 April 2020, 13:11:27 UTC |
| refs/tags/v1.1.8 | v1.1.8 | c6660fe | v1.1.8 | 20 June 2019, 11:35:12 UTC |
| refs/tags/v1.1.7 | v1.1.7 | 29177c2 | v1.1.7 fixes several bugs during MAXSAT solving. | 12 April 2019, 12:53:48 UTC |
| refs/tags/v1.1.6 | v1.1.6 | 04f13d2 | v1.1.6 | 26 March 2019, 15:19:21 UTC |
| refs/tags/v1.0.1 | v1.0.1 | d334b9e | v1.0.1 | 15 January 2018, 10:06:38 UTC |
| refs/tags/v1.0.0 | v1.0.0 | 2f53988 | version 1.0.0 | 20 December 2017, 10:33:37 UTC |
