search

enthought / sat-solver

Default Repo description from terraform module
Other
3 stars 1 forks source link

An independent solution verifier would be very nice. #153

Open johntyree opened 8 years ago

johntyree commented 8 years ago

Now that the solver is getting more complicated, it would be very nice to have an semi-independent way to verify that a solution is at least sane.

We could put all of the packages that should be installed into a bag, and then check one by one that all of their dependencies and none of their conflicts are also in the bag.

This will still need the Pool to deal with transformed requirements, but it at least lets us ignore the rules and clauses.

cournape commented 8 years ago

Is that something you want for testing, or more generally ?

I would suggest checking solutions w/ minisat, but I guess that's what you had in mind by adding support for DIMACS ?

johntyree commented 8 years ago

The DIMACS output support actually came from attempting to use the reference MiniSAT implementation.

My thought is that the sanity check should be independent from the RulesGenerator, if possible. The solver is getting fairly complicated and will continue to get more complicated as we add new features.