nissy - Where is nissy?

	Commit message (Collapse)	Author	Age	Files	Lines
*	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