isabelle: src/HOL/SMT/etc/settings@43bf5773f92a (annotated)

32618 42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	1	ISABELLE_SMT="$COMPONENT"
42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	2
33013 5c29cc66a029 slightly less context-sensitive settings; wenzelm parents: 33010 diff changeset	3	REMOTE_SMT_SOLVER="$ISABELLE_SMT/lib/scripts/remote_smt.pl"
32618 42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	4
33610 43bf5773f92a changed URL of SMT server, boehmes parents: 33013 diff changeset	5	REMOTE_SMT_URL="http://smt.in.tum.de/smt"
32618 42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	6
33013 5c29cc66a029 slightly less context-sensitive settings; wenzelm parents: 33010 diff changeset	7	CERT_SMT_SOLVER="$ISABELLE_SMT/lib/scripts/cert_smt.pl"
33010 39f73a59e855 added proof reconstructon for Z3, boehmes parents: 32618 diff changeset	8
32618 42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	9	#
42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	10	# Paths to local SMT solvers:
42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	11	#
42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	12	# CVC_SOLVER=PATH
42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	13	# YICES_SOLVER=PATH
42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	14	# Z3_SOLVER=PATH
42865636d006 added new method "smt": an oracle-based connection to external SMT solvers boehmes parents: diff changeset	15

author	boehmes
	Wed, 11 Nov 2009 15:43:03 +0100
changeset 33610	43bf5773f92a
parent 33013	5c29cc66a029
child 34983	e5cb3a016094
permissions	-rw-r--r--