ADDED: support for lower and upper bounds on variable size

[Adam Kiezun]

I just added support for min..max size of the string variable. So
stuff like this works:

var v : 1 .. 1000 ;
assert v contains "abc";
assert v contains "cde";
assert v contains "deg";

This feature will find the size that satisfies the constraints (if any does).
The implementation is currently naive (iterate through the size from
min to max). Ideas for optimizations are welcome - I'm sure there's
plenty of smart things to be done (heuristics and others).

./adam

[Tim Hinrichs]

I don't know if you're funneling bug reports somewhere else. If so,
I'm happy to redirect.

It looks like there's a bug with the NOT IN construct. It appeared
in one of my tests, and so I found the same bug among the tests
provided with Hampi.

Filename: testSolveNotIn1.hmp
-------------------
var v:1;

reg r1:= or("a", "b");
reg r2:= "a";
assert v in r1;
assert v not in r2;
//v="b" is the only solution
-------------------
hampi testSolveNotIn1.hmp
{VAR(v)=a}


The version of Hampi I'm using was the one available from google code
a few days ago.

Tim

[Adam Kiezun]

Yes, sending bug reports here is fine.
Have you used the latest from SVN or the download?
I think this bug was fixed a while back but we did not create an updated jar.

I checked, it works on the latest:
{VAR(v)=b}

./adam

[Adam Kiezun]

Tim,
I just updated the featured download on the hampi site
(http://code.google.com/p/hampi/). Please try to see if the problem
goes away.
./adam

[Tim Hinrichs]

Adam,

I had been downloading the zip file. I'll use svn in the future.

The problem disappeared with the new release. Thanks!

Tim