k k
- Total activity 3
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 0
- Subscriptions 1
Posts
Recent activity by k k-
How to represent the sum of binary variables ？
AnsweredI am solving a SMT problem with gurobi.Some restrictions are listed below. I represent them with the following code.##con4 for i in range(self.in1.i): constraint_scheduling += [ quicksu...