25 Apr
2012
25 Apr
'12
11:31
On Wednesday 25 April 2012 11:43:06 Saurabh Sood wrote:
As part of the One Click install GSoC project, I would require to resolve dependencies in packages. I am planning to use SAT solver for this purpose. I tried looking up references on how to use it and even generated docs using doxygen, but could not get much further on it. I need some guidance on how to achieve this.
Wouldn't it be better to use it through one of the high-level libraries
instead of using it directly?
--
Cornelius Schumacher