Revision: 802
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=802&view=rev
Author: pcorina
Date: 2008-04-04 15:46:33 -0700 (Fri, 04 Apr 2008)
Log Message:
-----------
-added support for new decision procedure (dp) -- ia solver-- see class ProblemIAsolver;
-solver not yet implemented;
-added support for more functions from Math library
-user can specify which dp to use (e.g. +symbolic.dp=choco)
-default is choco dp
Modified Paths:
--------------
trunk/extensions/symbolic/src/gov/nasa/jpf/symbolic/integer/SymbolicConstraints.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
