This is an ableC language extension for parallel nondeterministic programming. It includes the Silver sources of the extension and a number of applications build using it. There may be newer, unarchived versions of this software at http://melt.cs.umn.edu.
The Silver sources files and sample applications using the language extension. Both files contain same data in different formats.
Sponsorship: National Science Foundation