Stefan Friese 61313cd558 moved solve function from Main.hs to src/Encoding/Solve.hs		2024-06-11 15:21:23 +02:00
..
Main.hs	moved solve function from Main.hs to src/Encoding/Solve.hs	2024-06-11 15:21:23 +02:00