0

I want to pick exactly "steps" item from the guess block however I got unsat when I limit the guess with cardinalities.

  % Pick a series of move
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  steps { 
          vpr(X,Y) : verticalPlus(X,Y); 
          vmr(X,Y) : verticalMinus(X,Y); 
          hpr(X,Y) : horizontalPlus(X,Y); 
          hmr(X,Y) : horizontalMinus(X,Y) 
 } steps.
Cihan
  • 175
  • 1
  • 3
  • 14
  • there are more choices than "steps". – Cihan Jul 13 '16 at 05:42
  • This seems like a bug, when I change "steps" which is a constant with 3,4,5 etc... it works. – Cihan Jul 13 '16 at 05:43
  • 1
    Please provide a minimal example that shows what's failing. Can you give values/instantiations for steps, verticalPlus, verticalMinus, horizontalPlus, and horizontalMinus? – dspyz Aug 20 '16 at 19:51

0 Answers0