nissy - Where is nissy?

	Commit message (Collapse)	Author	Age	Files	Lines
*	Symcoord version of nissy. Interesting idea, but performance are	Sebastiano Tronto	2022-09-06	1	-6/+8
\| \| \| \|	actually slower. AT THIS STAGE NISSY IS NOT USABLE.
*	Faster optimal solver.	Sebastiano Tronto	2021-12-13	1	-2/+12
\| \| \| \| \| \| \| \| \| \| \|	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.
*	Fixed used of uninitialized aux variable	Sebastiano Tronto	2021-11-15	1	-1/+5
\|
*	Rewritten from scratch. Welocme nissy 2.0!	Sebastiano Tronto	2021-11-11	1	-107/+249
\|
*	Added feature: scramble	Sebastiano Tronto	2020-07-12	1	-0/+17
\|
*	First push	Sebastiano Tronto	2020-06-21	1	-0/+115