minor fixes, adding unit tests
minor fixes, more tests
Backtracking solver implemented, unit tests working
testing, solving deps before unpackaging and solving using SAT solvers, TODO: adding conflict section from META and optimizations