v0.3.0

ProblemReductions v0.3.0

Diff since v0.2.4

Breaking changes

• Refactor the ConstraintSatisfactionProblem interfaces: Now we use constraints and objectives to specify the constraints.
• Change the convension of size of satisfiability problems, now the size is defined by the satisfied constraints rather than unsatisfied constraints.
• Allow specifying satisfiability problems as hard constraints.

Merged pull requests:

• New: function is_factoring (#132) (@c-allergic)
• Update the deprecated function in ising docs (#133) (@c-allergic)
• refactor constraints specification (#137) (@GiggleLiu)