nissy-core - The "engine" of nissy, including the H48 optimal solver.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Added write to SRC format	Sebastiano Tronto	2023-10-08	30	-37/+161
\|
*	Added transformation util files, renamed move files	Sebastiano Tronto	2023-10-05	70	-2/+69
\|
*	Avoid multiple compilation when running tests	Sebastiano Tronto	2023-10-05	2	-2/+6
\|
*	Split isconsistent() and issolvable()	Sebastiano Tronto	2023-10-05	23	-104/+134
\|
*	Implemented compose; some cleanup	Sebastiano Tronto	2023-10-05	30	-48/+159
\|
*	Added tests for compose	Sebastiano Tronto	2023-09-20	34	-4/+100
\|
*	Renamed file + added TODOs	Sebastiano Tronto	2023-09-19	2	-0/+11
\|
*	Added TODOs	Sebastiano Tronto	2023-09-08	1	-1/+9
\|
*	New implementation, moved old to experiments/	Sebastiano Tronto	2023-09-08	14	-18/+830
\|
*	Renamed test folders to keep order	Sebastiano Tronto	2023-06-19	87	-0/+0
\|
*	Removed useless files	Sebastiano Tronto	2023-05-29	6	-1923/+0
\|
*	Initial commit	Sebastiano Tronto	2023-05-29	100	-0/+3755