Dinesman's multiple-dwelling problem: Difference between revisions
Content added Content deleted
m (→Parsing the problem statement: Modify headings) |
m (→Using the Amb operator: Modify headings) |
||
Line 552:
</pre>
===
In this example, the problem needs to be turned into valid Python code for use with the Amb operator. Setup is just to import Amb.
The second set of results corresponds to this modification to the problem statement:
<pre>
<lang python>from amb import Amb
Line 625:
</lang>
<pre>Floors are numbered from 1 to 5 inclusive.
Floor 1 is occupied by Smith
|