nissy - Where is nissy?

	Commit message (Collapse)	Author	Age	Files	Lines
*	Faster optimal solver.	Sebastiano Tronto	2021-12-13	1	-18/+14
\| \| \| \| \| \| \| \| \| \| \|	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.
*	Multi-threaded pruning table generation - now it's actually fast :)	Sebastiano Tronto	2021-12-09	1	-2/+3
\|
*	Just refortmatting and added one type	Sebastiano Tronto	2021-12-08	1	-149/+162
\|
*	tiny cleanup	Sebastiano Tronto	2021-12-08	1	-1/+1
\|
*	Faster and nice pruning table generation. Can still be improved with ↵	Sebastiano Tronto	2021-12-08	1	-2/+2
\| \| \| \|	multithreading.
*	Little performance improvement in optimal solver - more to come!	Sebastiano Tronto	2021-12-07	1	-9/+27
\|
*	Fixed typo in comment	Sebastiano Tronto	2021-12-06	1	-1/+1
\|
*	Multithreading seems to be working now, it was easier than expected!	Sebastiano Tronto	2021-11-20	1	-105/+126
\|
*	Use inttypes.h macros to print uint64_t variables (this requires -std=c99). ↵	Sebastiano Tronto	2021-11-17	1	-1/+1
\| \| \| \|	Added a couple of TODOs
*	Load all necessary pruning tables for a step before the actual solving process	Sebastiano Tronto	2021-11-15	1	-0/+2
\| \| \| \| \|	starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time).
*	I tried to remove the dependence on antindex in order to get rid of them	Sebastiano Tronto	2021-11-12	1	-0/+1
\| \| \| \| \| \| \|	once and for all. I successfully removed from the pruning table generation part by using an alternative (slower) method, but then I realized that I also use antindexes when generating symmetry data. So I reverted to the original pruning table computation method, but I left the alternative way there, commented.
*	Rewritten from scratch. Welocme nissy 2.0!	Sebastiano Tronto	2021-11-11	1	-0/+286