[Javapathfinder-devel] SF.net SVN: javapathfinder: [810] trunk/extensions/symbc/Readme

[<pc...@us...>]

Revision: 810
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=810&view=rev
Author:   pcorina
Date:     2008-04-07 18:39:34 -0700 (Mon, 07 Apr 2008)

Log Message:
-----------
updated Readme file with instructions on how to use different solvers (choco or iasolver) and on how to specify symbc env model classes (used to model Math lib calls).

Modified Paths:
--------------
    trunk/extensions/symbc/Readme


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.