Fix small bugs, make solver able to resolve simplest deps possibly (all exact deps)
A simple test on resolving exact deps