Require binary variables in logical constraints (#1005)

* Fix 1004

* refactor variable conversion

* Update tests/test_cons.py

Co-authored-by: DominikKamp <[email protected]>

* Put function inside class

* Call wrapper class in a few more places

* Single variable

* change name to VarArray

* Apply suggestions from code review

Co-authored-by: DominikKamp <[email protected]>

* Messed around with pointers, found bug in translatesubsol

* Fix double free

* Apply suggestions from code review

Co-authored-by: DominikKamp <[email protected]>

* Fix most suggestions

* _VarArray in everything

* fix double free

* Update src/pyscipopt/scip.pxi

Co-authored-by: DominikKamp <[email protected]>

* Fix leak

* typo

* Clean tests a bit

* Apply suggestions from code review

Co-authored-by: DominikKamp <[email protected]>

* Some more fixes

* Remaining comments

---------

Co-authored-by: DominikKamp <[email protected]>

Author: Joao-Dionisio

CHANGELOG.md

@@ -6,6 +6,7 @@
 - Added isPositive(), isNegative(), isFeasLE(), isFeasLT(), isFeasGE(), isFeasGT(), isHugeValue(), and tests
 - Added SCIP_LOCKTYPE, addVarLocksType(), getNLocksDown(), getNLocksUp(), getNLocksDownType(), getNLocksUpType(), and tests
 ### Fixed
+- Raised an error when an expression is used when a variable is required
 ### Changed
 ### Removed