nissy - Where is nissy?

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