v4.0.0
GenericTensorNetworks v4.0.0
Breaking changes
- The size of SAT problem is changed to the number of satisfied clauses, instead of unsatisfied clauses.
Merged pull requests:
- Upgrade ProblemReductions, improve documentation (#94) (@GiggleLiu)
Merged pull requests: