nissy - Where is nissy?

	Commit message (Collapse)	Author	Age	Files	Lines
*	Split nissy in other repos, see README.md	Sebastiano Tronto	2023-05-01	1	-54/+0
\|
*	Some fixes	Sebastiano Tronto	2023-03-05	1	-1/+2
\|
*	I made a mess, but it works. Still need to implement new optimal solver.	Sebastiano Tronto	2023-03-05	1	-4/+46
\| \| \| \|	After that, a big redesign is due.
*	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