|
Post by Steve Draper on May 17, 2014 11:13:47 GMT -8
|
|
|
Post by Sam Schreiber on May 17, 2014 18:34:33 GMT -8
|
|
|
Post by Steve Draper on May 18, 2014 11:21:07 GMT -8
|
|
|
Post by Sam Schreiber on May 18, 2014 13:09:35 GMT -8
Awesome, thanks!
|
|
rxe
Junior Member
Posts: 61
|
Post by rxe on May 29, 2014 3:41:38 GMT -8
[Hi - I am new here! I was in the last coursera run, my player is galvanise (and Gurgeh) on Titlyard]
fyi: The current version on Titlyard fails an integrity check during propnet creation. Fails in the prover, creating two goals for 0 and 10:
[StateMachine] Got goal results ([( goal jumper 10 ), ( goal jumper 0 )]) of size: 2 when expecting size one. Exception Goal is poorly defined for jumper in [( true ( hole e c7 peg ) ), ( true ( hole d c3 empty ) ), ( true ( hole f c3 empty ) ), ( true ( hole a c3 empty ) ), ( true ( hole f c5 empty ) ), ( true ( hole d c1 empty ) ), ( true ( hole e c1 peg ) ), ( true ( hole a c4 empty ) ), ( true ( hole e c5 peg ) ), ( true ( hole e c2 empty ) ), ( true ( hole d c6 empty ) ), ( true ( hole e c6 empty ) ), ( true ( hole f c2 peg ) ), ( true ( hole c c1 peg ) ), ( true ( pegs s11 ) ), ( true ( hole c c2 empty ) ), ( true ( hole g c3 peg ) ), ( true ( hole b c5 empty ) ), ( true ( hole b c6 empty ) ), ( true ( hole e c3 empty ) ), ( true ( hole d c7 peg ) ), ( true ( hole d c4 empty ) ), ( true ( hole f c6 empty ) ), ( true ( hole a c5 empty ) ), ( true ( hole g c5 peg ) ), ( true ( hole c c3 empty ) ), ( true ( hole d c5 empty ) ), ( true ( hole b c4 empty ) ), ( true ( hole c c5 peg ) ), ( true ( hole d c2 empty ) ), ( true ( hole c c6 empty ) ), ( true ( hole e c4 empty ) ), ( true ( hole c c4 empty ) ), ( true ( hole b c2 peg ) ), ( true ( hole g c4 empty ) ), ( true ( hole f c4 empty ) ), ( true ( hole b c3 empty ) ), ( true ( hole c c7 peg ) )]
A complete stab in the dark I think the (goal jumper 0) was missing a (distinct ?x s11).
(<= (goal jumper 0) (true (pegs ?x)) (distinct ?x s11) (distinct ?x s10) (distinct ?x s9) (distinct ?x s8) (distinct ?x s7) (distinct ?x s6) (distinct ?x s5) (distinct ?x s4) (distinct ?x s3) (distinct ?x s2) (distinct ?x s1))
|
|
|
Post by Steve Draper on May 29, 2014 4:18:10 GMT -8
Good catch - I'll address it later today.
|
|
|
Post by Steve Draper on May 29, 2014 11:04:44 GMT -8
Fixed and pull request issued...
|
|
rxe
Junior Member
Posts: 61
|
Post by rxe on May 29, 2014 17:22:53 GMT -8
Great - thanks!
|
|