User Story

As a user, I would like to have a choice of (underlying) sat solver, s.t. if the one included in Deppy is insufficient, I can substitute it by something else

Summary / Background

Deppy is a framework for creating/configuring solvers for any purpose. The underlying sat solver should be a pluggable component of the framework

Acceptance Criteria

• Sat package can be yanked to its own repo without side-effects and a different sat solver could be used instead
• There's sufficient layers of abstraction between the Solver API and the sat solver to make the sat solver pluggable

Scenarios

Assumptions

Links (docs, drawings, designs, etc)

[Deppy-as-a-Framework](https://hackmd.io/fDfcLKNzRPCgILMIQ8aPOw?view#Appendix-III-Deppy-as-a-Framework)

Dependencies

Definition of Done

• unit tests
• integration tests (should be ok to create a mock service directly from the test)
• extensive godoc (this is a framework after all)
• reviewed and merged

Upstream Github issue: https://github.com/operator-framework/deppy/issues/50