[Termtools] Competition: qualification rounds

[Johannes Waldmann]

Joerg Endrullis wrote:

> I think the reason is, that jambox does not find minisat.

quite possibly, the same seems to hold for torpa.

with matchbox, I am very explicit
about stating the (absolute) path to minisat:
http://www.lri.fr/~marche/termination-competition/2007/matchbox/runme

I already suggested that minisat be installed in the standard $PATH.
Then at least jambox, torpa and matchbox would be happy (I guess).

Best regards, Johannes.