src/HOL/SMT/lib/scripts/run_smt_solver
2010-02-08 boehmes split SMT perl script: certificate caching and invokation of remote solvers are now in separate scripts,
less more (0) tip