Hendrik Bierlee
- Total activity 5
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 1
- Subscriptions 1
Activity overview
Latest activity by Hendrik Bierlee-
Hendrik Bierlee commented,
Thanks Riley, that's a great idea. We'll definitely try that out.
-
Hendrik Bierlee commented,
Hi Riley,Thanks for the reply and creating a ticket.Indeed, if you ignore the force attributes, then `R0, R1, R3, R4` is an IIS. If your IIS is forced to contain `R0, R1, R3`, you will not get this...
-
Hendrik Bierlee created a post,
IISConstrForce=1 not guaranteeing IISConstr=1 in computeIIS output
AnsweredDear reader,I'm observing that a constraint with IISConstrForce=1 ends up with IISConstr=0 after computeIIS(), which seems to contradict the attribute docs stating that forced constraints are inclu...