diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-13 20:40:18 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2021-12-13 20:40:18 +0100 |
| commit | 1215648b1ba3c592bd9d97b871349673d1702e44 (patch) | |
| tree | 7dc73a013c76b0cb0976e98d5e07902a0045363f /Makefile | |
| parent | 296f35b7ed4ea3177c520f28176f44d6ad47d76d (diff) | |
| download | nissy-1215648b1ba3c592bd9d97b871349673d1702e44.tar.gz nissy-1215648b1ba3c592bd9d97b871349673d1702e44.zip | |
Faster optimal solver.
This is a pretty big one, but unfortunately performance only improved by about 5%.
I implemented one of the main ideas of nxopt, that is switching to the
inverse scramble on the fly if it gives a lower branching factor.
On the one hand it makes sense that it does not have such a huge impact, since
it only rarely happens that we do have a lower branching factor on inverse, but
on the other hand I am quite sad that the improvement is barely noticeable :-(
Maybe the problem is that I have introduced a lot of new overhead and I can improve
that in the future. Or maybe I am just overlooking something stupid.
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -1,6 +1,6 @@ | |||
| 1 | # See LICENSE file for copyright and license details. | 1 | # See LICENSE file for copyright and license details. |
| 2 | 2 | ||
| 3 | VERSION = 2.0beta6 | 3 | VERSION = 2.0beta7 |
| 4 | 4 | ||
| 5 | PREFIX = /usr/local | 5 | PREFIX = /usr/local |
| 6 | MANPREFIX = ${PREFIX}/share/man | 6 | MANPREFIX = ${PREFIX}/share/man |