nissy - Where is nissy?

	Commit message (Expand)	Author	Files	Lines
2021-12-08	Just refortmatting and added one type	Sebastiano Tronto	1	-149/+162
2021-12-08	tiny cleanup	Sebastiano Tronto	1	-1/+1
2021-12-08	Faster and nice pruning table generation. Can still be improved with multithr...	Sebastiano Tronto	1	-2/+2
2021-12-07	Little performance improvement in optimal solver - more to come!	Sebastiano Tronto	1	-9/+27
2021-12-06	Fixed typo in comment	Sebastiano Tronto	1	-1/+1
2021-11-20	Multithreading seems to be working now, it was easier than expected!	Sebastiano Tronto	1	-105/+126
2021-11-17	Use inttypes.h macros to print uint64_t variables (this requires -std=c99). A...	Sebastiano Tronto	1	-1/+1
2021-11-15	Load all necessary pruning tables for a step before the actual solving process	Sebastiano Tronto	1	-0/+2
2021-11-12	I tried to remove the dependence on antindex in order to get rid of them	Sebastiano Tronto	1	-0/+1
2021-11-11	Rewritten from scratch. Welocme nissy 2.0!	Sebastiano Tronto	1	-0/+286