nissy - Where is nissy?

	Commit message (Collapse)	Author	Age	Files	Lines
*	Removed some code preparing for moving optimal solver away from general ↵	Sebastiano Tronto	2022-09-06	1	-1/+1
\| \| \| \| \| \|	coordinate solving. Kept symcoord for coordinate solving.
*	Symcoord version of nissy. Interesting idea, but performance are	Sebastiano Tronto	2022-09-06	1	-2/+2
\| \| \| \|	actually slower. AT THIS STAGE NISSY IS NOT USABLE.
*	Added two-phase solver	Sebastiano Tronto	2021-12-26	1	-0/+1
\|
*	Load all necessary pruning tables for a step before the actual solving process	Sebastiano Tronto	2021-11-15	1	-0/+1
\| \| \| \| \|	starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time).
*	Rewritten from scratch. Welocme nissy 2.0!	Sebastiano Tronto	2021-11-11	1	-0/+9