[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: "stepha...@xxxxxxxxx" <guys...@xxxxxxxxx>*Date*: Wed, 4 Feb 2015 13:15:29 -0800 (PST)

A farmer has a 40 pound stone and a balance scale. How can he break the stone into 4 pieces so that, using those pieces and the balance scale, he can weigh out any integral number of pounds of corn from 1 pound through 40 pounds. Who to use TLA+ to specify the problem and use TLC to find the solution?

**Follow-Ups**:**Re: [tlaplus] Mathematical puzzle modeling***From:*TLA Plus

- Prev by Date:
**Re: [tlaplus] OSX, Java 7** - Next by Date:
**Re: [tlaplus] Mathematical puzzle modeling** - Previous by thread:
**Re: [tlaplus] OSX, Java 7** - Next by thread:
**Re: [tlaplus] Mathematical puzzle modeling** - Index(es):