tree da91e1068ceb98a568cb5b4e7ebe5dc9abaa383c
parent 4dfe3c575afc68c64f3435357380947bbbd4a01b
author Akron <nils@diewald-online.de> 1534332087 +0200
committer Akron <nils@diewald-online.de> 1534332087 +0200

Fix #42 - Wrong behaviour of negative constraints in and-Groups of VCs

Change-Id: Ibfc07544d98c5b169ec337d5d8b7b4ae683d15b8