nissy - Where is nissy?

	Commit message (Expand)	Author	Age	Files	Lines
*	use nxopt31 (compressed) by default for optimal solving	Sebastiano Tronto	2021-12-24	1	-3/+11
*	Added the possibility to compress tables to 2 bits per entry.	Sebastiano Tronto	2021-12-23	1	-4/+4
*	some progress	Sebastiano Tronto	2021-12-17	1	-9/+0
*	Added a new pruning table (equivalent to nxopt31). I have not tested it yet, ...	Sebastiano Tronto	2021-12-16	1	-28/+57
*	Faster and nice pruning table generation. Can still be improved with multithr...	Sebastiano Tronto	2021-12-08	1	-15/+100
*	Use inttypes.h macros to print uint64_t variables (this requires -std=c99). A...	Sebastiano Tronto	2021-11-17	1	-1/+1
*	I tried to remove the dependence on antindex in order to get rid of them	Sebastiano Tronto	2021-11-12	1	-0/+9
*	Rewritten from scratch. Welocme nissy 2.0!	Sebastiano Tronto	2021-11-11	1	-0/+355