nissy - Where is nissy?

	Commit message (Collapse)	Author	Files	Lines
2021-11-17	Use inttypes.h macros to print uint64_t variables (this requires -std=c99). ↵	Sebastiano Tronto	1	-9/+7
	Added a couple of TODOs
2021-11-15	Load all necessary pruning tables for a step before the actual solving process	Sebastiano Tronto	1	-1/+6
	starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time).
2021-11-13	Fixed a problem with htr-drud coordinates. The corresponding pruning table ↵	Sebastiano Tronto	1	-0/+1
	also changed, hopefully the new one is correct.
2021-11-12	I tried to remove the dependence on antindex in order to get rid of them	Sebastiano Tronto	1	-21/+136
	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.
2021-11-12	Unimportant fixed	Sebastiano Tronto	1	-0/+3

2021-11-11	Rewritten from scratch. Welocme nissy 2.0!	Sebastiano Tronto	1	-0/+271