freeday constraint is not honoured

[thureduehrsen]

In the sample reqs.xml file, make it so that teacher ume1 has free days on all five weekdays:

	<freeday teacher="ume1" day="1"/>
        <freeday teacher="ume1" day="2"/>
        <freeday teacher="ume1" day="3"/>
        <freeday teacher="ume1" day="4"/>
	<freeday teacher="ume1" day="5"/>

Then have Prolog generate a timetable:

Teacher: ume1

  Mon     Tue     Wed     Thu     Fri   
========================================
                                 1c/ume 
                 1a/ume                 
                 1d/ume                 
 1c/ume                                 
                         1b/ume         
                         1d/ume  1a/ume 
 1b/ume                                 

The teacher's timetable should be empty, but it is not.

[thureduehrsen]

Should a warning be generated, or an error?

In general, what should happen if I provide inconsistent requirements, or redundant ones?

[triska]

Many thanks! I have installed a change that corrects this, please have a look.

If the requirements are inconsistent, the predicate can simply fail, indicating that there is no solution. For redundant ones, a warning may be useful, but it is not strictly needed.