nissy - Where is nissy?

	Commit message (Collapse)	Author	Files	Lines
2023-05-01	Split nissy in other repos, see README.md	Sebastiano Tronto	1	-9/+0

2023-03-05	I made a mess, but it works. Still need to implement new optimal solver.	Sebastiano Tronto	1	-3/+1
	After that, a big redesign is due.
2022-09-06	Removed some code preparing for moving optimal solver away from general ↵	Sebastiano Tronto	1	-1/+1
	coordinate solving. Kept symcoord for coordinate solving.
2022-09-06	Symcoord version of nissy. Interesting idea, but performance are	Sebastiano Tronto	1	-2/+2
	actually slower. AT THIS STAGE NISSY IS NOT USABLE.
2021-12-26	Added two-phase solver	Sebastiano Tronto	1	-0/+1

2021-11-15	Load all necessary pruning tables for a step before the actual solving process	Sebastiano Tronto	1	-0/+1
	starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time).
2021-11-11	Rewritten from scratch. Welocme nissy 2.0!	Sebastiano Tronto	1	-0/+9