summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2024-02-01Version 2.8.3Dimitris Pappas
2023-12-15Version 2.8.2Dimitris Pappas
2023-11-27Version 2.8.1Dimitris Pappas
2023-11-16Version 2.8.0Dimitris Pappas
2023-06-21Version 2.7.6Dimitris Pappas
2023-06-07Version 2.7.5Dimitris Pappas
2023-05-12Version 2.7.4Dimitris Pappas
2023-04-26Version 2.7.3Dimitris Pappas
2023-04-06Version 2.7.2Dimitris Pappas
2023-03-01Version 2.7.0Dimitris Pappas
2022-06-28Version 2.6.4Dimitris Pappas
2022-05-06Version 2.6.3Dimitris Pappas
2022-03-23Version 2.6.2Dimitris Pappas
2022-03-04Version 2.6.1Dimitris Pappas
2022-03-01Fix error on fzn-gecode solver not finding librariesDimitris Pappas
2022-02-27Version 2.6.0Dimitris Pappas
2021-06-15Version 2.5.5Dimitris Pappas
2020-11-09Version 2.5.2Dimitris
2020-10-22Version 2.5.1Dimitris
2020-10-07Version 2.5.0Dimitris
2020-04-03Fixed Gecode GistFabio Tardivo
2020-03-04Version 2.4.3Dimitris Pappas
2020-01-14Version 2.4.2Fabio Tardivo
2019-11-29Version 2.3.2Fabio Tardivo
2019-08-05Fix broken urlFabio Tardivo
2019-07-10Version 2.3.1Fabio Tardivo
2019-07-07Improved build scriptsFabio Tardivo
2019-06-27Version 2.3.0Dimitris Pappas
2018-10-26Version 2.2.2Dimitris Pappas
2018-09-12Fixed new file location and bypass shell scriptDimitris Pappas
2018-09-06Version 2.2.1Dimitris Pappas
2018-08-25Fix checksum and buildDimitris Pappas
2018-08-24Version 2.2.0Dimitris Pappas
2018-08-24Version 2.2.0Dimitris Pappas
2018-05-08New release of 2.1.7Dimitris Pappas
2018-01-15Version 2.1.7Dimitris Pappas
2017-10-04Version 2.1.6Dimitris Pappas
2017-06-08Version 2.1.5Dimitris Pappas
2017-03-17Version 2.1.4mitsakosgr
2017-03-16Version 2mitsakosgr
2017-02-06Version 2.1.3Dimitris Pappas
2017-01-23Version 2.1.2Dimitris Pappas
2016-11-22Update for version 2.1.0Dimitris Pappas
2016-07-31Update to version 2.0.14Dimitris Pappas
2016-04-102.0.13 + Johan Forbergs SuggestionsDimitris Pappas
2015-12-07Update .SRCINFODimitris Pappas
2015-12-07Change to version 2.0.9Dimitris Pappas
2015-11-15Switch to 'install' command for .desktop and .pngDimitris Pappas
2015-11-03Add .desktop entry and iconDimitris Pappas
2015-11-03Initial filesDimitris Pappas