javapathfinder-devel

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

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

Revision: 372
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=372&view=rev
Author:   pcorina
Date:     2007-06-21 11:29:54 -0700 (Thu, 21 Jun 2007)

Log Message:
-----------
WORK IN PROGRESS

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


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

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

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

Revision: 374
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=374&view=rev
Author:   pcorina
Date:     2007-06-21 15:03:52 -0700 (Thu, 21 Jun 2007)

Log Message:
-----------


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


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

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

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

Revision: 379
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=379&view=rev
Author:   pcorina
Date:     2007-06-21 16:04:51 -0700 (Thu, 21 Jun 2007)

Log Message:
-----------


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


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

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

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

Revision: 673
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=673&view=rev
Author:   pcorina
Date:     2007-11-29 14:42:06 -0800 (Thu, 29 Nov 2007)

Log Message:
-----------


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


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

[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.

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

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

Revision: 822
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=822&view=rev
Author:   pcorina
Date:     2008-04-16 16:54:11 -0700 (Wed, 16 Apr 2008)

Log Message:
-----------
updated reame file for Symbolic (Java) PathFinder

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


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

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

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

Revision: 823
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=823&view=rev
Author:   pcorina
Date:     2008-04-16 16:57:44 -0700 (Wed, 16 Apr 2008)

Log Message:
-----------


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


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