Edoardo Crippa issues

Repositories
Issues
Comments

Results 1 issues of


                                            Edoardo Crippa

Fails if all constraints are in form NOT(...)

If I use this model: ``` A1 : V0, V1, V2, V3 A2 : T, F NOT (([A1]="V0") AND ([A2]="T")); NOT (([A1]="V1") AND ([A2]="F")); ``` It fails with the following...