isabelle: src/HOL/Tools/SMT/etc/settings@9e576ec5c0dc (annotated)

41308 9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 36898 diff changeset	1	# -- shell-script -- :mode=shellscript:
9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 36898 diff changeset	2
36898 8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	3	ISABELLE_SMT="$COMPONENT"
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	4
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	5	REMOTE_SMT="$ISABELLE_SMT/lib/scripts/remote_smt"
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	6
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	7	REMOTE_SMT_URL="http://smt.in.tum.de/smt"
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	8
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	9	#
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	10	# Paths to local SMT solvers:
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	11	#
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	12	# CVC_SOLVER=PATH
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	13	# YICES_SOLVER=PATH
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	14	# Z3_SOLVER=PATH
8e55aa1306c5 integrated SMT into the HOL image boehmes parents: diff changeset	15

author	wenzelm
	Mon, 20 Dec 2010 15:19:15 +0100
changeset 41308	9e576ec5c0dc
parent 36898	8e55aa1306c5
child 41432	3214c39777ab
permissions	-rw-r--r--