SatSolver yankability

[perdasilva]

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

• SatSolver package can be yanked to its own repo without side-effects
• 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

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

[github-actions[bot]]

This issue has become stale because it has been open 60 days with no activity. The maintainers of this repo will remove this label during issue triage or it will be removed automatically after an update. Adding the lifecycle/frozen label will cause this issue to ignore lifecycle events.

[github-actions[bot]]

This issue has become stale because it has been open 60 days with no activity. The maintainers of this repo will remove this label during issue triage or it will be removed automatically after an update. Adding the lifecycle/frozen label will cause this issue to ignore lifecycle events.