5 Commits

Author	SHA1	Message	Date
Jan Eitzinger	002275e633	Cleanup	2024-10-31 18:49:38 +01:00
Jan Eitzinger	2fad29b925	Reformat. Merge improved solvers.	2023-11-21 05:27:11 +01:00
Jan Eitzinger	acc831e0b0	Add profiling and variants	2023-06-18 13:55:23 +02:00
Jan Eitzinger	9c8585c7bc	Add solver variants	2023-06-18 10:08:56 +02:00
Jan Eitzinger	213e633a4d	Initial checkin	2023-02-05 07:34:23 +01:00