% Desafio 1 — std1
% 12 exames, 6 slots, 4 salas, 6 docentes, 9 conflitos

exame(e1). exame(e2). exame(e3). exame(e4). exame(e5). exame(e6). exame(e7). exame(e8).
exame(e9). exame(e10). exame(e11). exame(e12).
slot(1..6).
sala(a1). sala(s1). sala(s2). sala(l1).
docente(d1). docente(d2). docente(d3). docente(d4). docente(d5). docente(d6).

compativel(escrito,anfiteatro). compativel(escrito,sala). compativel(computador,laboratorio).
tipo(a1,anfiteatro). tipo(s1,sala). tipo(s2,sala). tipo(l1,laboratorio).
capacidade(a1,300). capacidade(s1,40). capacidade(s2,80). capacidade(l1,40).
tipo_exame(e1,escrito). tipo_exame(e2,computador). tipo_exame(e3,escrito). tipo_exame(e4,escrito). tipo_exame(e5,escrito).
tipo_exame(e6,escrito). tipo_exame(e7,escrito). tipo_exame(e8,escrito). tipo_exame(e9,escrito). tipo_exame(e10,escrito).
tipo_exame(e11,computador). tipo_exame(e12,escrito).
inscritos(e1,78). inscritos(e2,35). inscritos(e3,168). inscritos(e4,287). inscritos(e5,27). inscritos(e6,22).
inscritos(e7,79). inscritos(e8,32). inscritos(e9,253). inscritos(e10,69). inscritos(e11,31). inscritos(e12,40).
vigilantes(e1,2). vigilantes(e2,1). vigilantes(e3,3). vigilantes(e4,3). vigilantes(e5,1). vigilantes(e6,1).
vigilantes(e7,2). vigilantes(e8,1). vigilantes(e9,3). vigilantes(e10,2). vigilantes(e11,1). vigilantes(e12,1).
conflito(e1,e4). conflito(e1,e5). conflito(e1,e8). conflito(e9,e3). conflito(e4,e7). conflito(e4,e12).
conflito(e7,e12). conflito(e10,e9). conflito(e11,e10).
fixado(e2,3). fixado(e12,3).
max_vigias(d1,4). max_vigias(d2,3). max_vigias(d3,5). max_vigias(d4,3). max_vigias(d5,4). max_vigias(d6,3).
indisponivel(d3,3). indisponivel(d3,6). indisponivel(d6,3).