[Termtools] upcoming competition - pre-installed minisat?

[Johannes Waldmann]

Claude,

will you make available on your machine
an installation of a SAT solver, e.g. the current version of minisat
in /usr/local/bin or somewhere on the $PATH ?

Pro:
* several termination provers will use this
* makes it easier for prover authors to ship their programs
  since they don't need to ship minisat as well

Con:
* termination prover is not "stand-alone".

I think the Pro outwights the Con. As termination provers mature,
they will depend on other tools more and more,
and we cannot reasonably expect the prover author to include all tools.
Instead, it has to be specified  what tool/what version is needed.
This is the typical situation with almost any software.

Best regards,
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------