embed STP source

[Adam Kiezun]

Hi all,
Hampi encodes its constraints in STP, and so Hampi's code includes
STP. Currently, however, STP code is not included as source, which:
A) is a pain for users on non-compatible Unixes (eg Mac OS X)
B) makes it harder to keep Hampi up to date with STP

There are two options I see:
a) make Hampi's Makefile check out STP from STP's repository and build it, or
b) somehow include STP's source code in Hampi's repository (but it's
unclear then how to keep Hampi's copy of STP in synch with STP proper)

Is there another way out of this?
BTW, it would be great if someone volunteered to set this up. It would
make it easier for everyone to work with Hampi.

./adam

[Elnatan]

On Dec 7 2009, 5:16 pm, Adam Kiezun <akie...@rics.bwh.harvard.edu>
wrote:

Has anyone managed to compile Hampi on a Mac?
Elnatan

[Jun He]

Hi,

Does the current version of Hampi (hampi_20120213) use the most recent version of STP (published in July 2011)?

Best regards,
Jun

[Adam Kiezun]

Hi Jun,
I'm not sure which exact version is used but it's likely to be a
version from 2009.
./adam

[Jun He]

Hi Adam,

I do not know how to use the most recent version of STP in Hampi, could
you please give some hints in detail? Currently, we are doing some
experiments to compare something with Hampi. In order to give a fair
comparison, we think it's better to compare Hampi with the newest STP
solver.

Best regards,
Jun

[Adam Kiezun]

Hi Jun,
speed-wide, upgrading to the newest STP would not make much
difference. Almost all time in Hampi is spent in the encoding step
before STP and the actual STP solving is maybe 5% of time (I'm
guessing). So even if latest STP was 1000% faster, Hampi would still
see only 4.5% improvement. That's why I've been reluctant to putting
effort into upgrading to latest STP.

However, if STP were enhanced to handle string equations or regexp
constraints, then it may be beneficial to move to the latest STP. But
then, a more involved migration would be required to push more work
down to the STP level.

So, for now, feel free to compare the 'something' to the current
version of Hampi. Let me know how it goes.
./adam