709add8 | Smirnov Pavel | 21 September 2021, 20:59:56 UTC | updated license | 21 September 2021, 20:59:56 UTC |
5555cd6 | Smirnov Pavel | 21 September 2021, 13:36:32 UTC | typo | 21 September 2021, 13:36:32 UTC |
a7d31a1 | Pavel Smirnov | 21 September 2021, 13:35:27 UTC | README.md edited online with Bitbucket | 21 September 2021, 13:35:27 UTC |
dd2cb87 | Smirnov Pavel | 21 September 2021, 13:26:58 UTC | Ready for publishing | 21 September 2021, 13:26:58 UTC |
88c2da2 | Smirnov Pavel | 10 August 2021, 07:59:18 UTC | Note on the roundingsat version in this repository | 10 August 2021, 07:59:18 UTC |
5113a59 | Smirnov Pavel | 09 August 2021, 14:44:21 UTC | benchmark listing | 09 August 2021, 14:44:21 UTC |
61c219e | Smirnov Pavel | 09 August 2021, 08:09:21 UTC | PBO-IHS solver code included | 09 August 2021, 08:09:21 UTC |
5858c84 | Smirnov Pavel | 08 August 2021, 21:32:02 UTC | data of runtimes by different solvers | 08 August 2021, 21:32:02 UTC |
92b402b | Matti Järvisalo | 08 August 2021, 19:06:26 UTC | Initial commit | 08 August 2021, 19:06:26 UTC |