Function solve 

pub fn solve(config: &Config, db: &Database) -> Vec<Conflict>

Run the solver over config against db, returning all conflicts in a deterministic order (so output and tests are stable across runs).