Hello @everythingfunctional ,thank you for the reply.
Understood,I had misphrased my earlier statements.
As per Haskell and Cabal’s constraint checkers,I haven’t looked at them,but I would do that right away.
“As far as I know of other package managers, they take a very simplistic approach to picking versions and only check that their choice satisfies the given constraints.” -
Maybe I can try to execute a small script to check the feasibilty and get hands-on experience for the same before GSoC proposal making?
I’m also clueless about the algorithms being used,but I would research about the same. This is a really interesting project idea to work on,albeit complex.
Please let me know if this is the right way to proceed,I would make a proof of concept on a small scale and then try to solve the bigger parts.
I would also like to start working on small patches,and devise a basic timeline and deliverables so we could streamline our approach towards solving the ideas 