Anonymous user
Dinesman's multiple-dwelling problem: Difference between revisions
Dinesman's multiple-dwelling problem (view source)
Revision as of 13:49, 26 June 2011
, 13 years ago→Using the Amb operator: Modify headings
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
|