Masyu 2I
De Lógica computacional y teoría de modelos (2019-20)
%% Instancia 2.
#const n=10.
#const m=10.
blanco(3,10). blanco(5,10). blanco(5,9). negro(9,9).
negro(3,8). negro(5,8). blanco(7,8). blanco(4,7).
blanco(7,7). negro(1,6). blanco(6,6). blanco(10,6).
blanco(3,5). blanco(8,5). negro(3,4). blanco(7,4).
blanco(1,3). negro(5,3). blanco(10,3). blanco(7,2).
blanco(8,2). negro(3,1). negro(10,1).