# New Solver for Sampling or Satisfaction

Hi, I am following up on my Issue on GitHub.

I am working on creating a new mechanism for sampling or satisfaction. The problem centers around how to appropriately formulate a problem for the quantum computer.

The general form of the problem in english is, given an arbitrary output x, what was the input y for any function f, in any equation y=f(x). Ultimately, this would require the quantum computer to invert f and deduce y given x.

However, the problem I am having is formulating the problem such that it could be sampled or solved via constraint satisfaction. I'm working on simplifying the d-wave docs and guides to solve the problem.

## Comments

Mohammad D(Report)Hi Brian,

The Leap

Resourcespage includes aCode Examples and Notebookssection. There are several Constraint Satisfaction Problem examples, i.e. Factoring, I hope you may find useful.Please sign in to leave a comment.