Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/SMT/etc/settings
author boehmes
Wed, 15 Dec 2010 08:39:24 +0100
changeset 41124 1de17a2de5ad
parent 36898 8e55aa1306c5
child 41308 9e576ec5c0dc
permissions -rw-r--r--
moved SMT classes and dictionary functions to SMT_Utils
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
36898
8e55aa1306c5 integrated SMT into the HOL image
boehmes
parents:
diff changeset 
     1
 
ISABELLE_SMT="$COMPONENT"
8e55aa1306c5 integrated SMT into the HOL image
boehmes
parents:
diff changeset 
     2
 












8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




     3


REMOTE_SMT="$ISABELLE_SMT/lib/scripts/remote_smt"













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_URL="http://smt.in.tum.de/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


#













8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




     8


# Paths to local SMT solvers:













8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




     9


#













8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




    10


# CVC_SOLVER=PATH













8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




    11


# YICES_SOLVER=PATH













8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




    12


# Z3_SOLVER=PATH













8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




    13
















isabelle