wiki:Releases/goal20100901v2044

Release 2010/09/01 v 2044.

Source:

src/goal/core v2036*

src/goal/kr v2009*

src/goal/middleware v2042*

src/goal/parser v1986*

src/goal/tools v2044*

Environments:

blocksworld.jar v1513

elevatorenv.jar v2044*

ElevatorEnvironment.pdf v1413

towerenv.jar v1699/p>

wumpusenv.jar v1513

WumpusEnvironment.pdf v1407

bwconfigXXX.txt v1473

kt2010 v1412

GOAL agents:

blocksworld.mas v1473, stackBuilder.goal v1457
blocksworld.SussmanAnomaly.mas v1457, stackBuilder.SussmanAnomaly.goal v1457, stackBuilderExZ.goal 1556

elevator.mas v1372, elevatoragent.goal v1057

towerworld.mas v1341, towerbuilder.goal v1672

wumpus.mas v1556, wumpus.goal v1556

meeting.mas v1409, jane.goal v1365, tarzan.goal v1365

Documentation:

GOAL User Manual 1739 20100519

Type: alpha.

Download: goal20100901v2044.jar

Versions marked with * have been updated since previous release.

Last modified 7 years ago Last modified on Feb 26, 2011, 10:52:00 PM

Attachments (1)