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
Thu, 06 Jan 2011 17:51:56 +0100
changeset 41432 3214c39777ab
parent 41308 9e576ec5c0dc
permissions -rw-r--r--
differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3"); turned individual SMT solvers into components; made CVC3 the default SMT solver (Z3 is licensed as "non-commercial only"); tuned smt_filter interface
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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









41432






3214c39777ab
differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3");



boehmes


parents: 
41308

diff
changeset




     5


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













3214c39777ab
differentiate between local and remote SMT solvers (e.g., "z3" vs. "remote_z3");



boehmes


parents: 
41308

diff
changeset




     6


ISABELLE_SMT_REMOTE_URL="http://smt.in.tum.de/smt"








36898






8e55aa1306c5
integrated SMT into the HOL image



boehmes


parents: 

diff
changeset




     7
















isabelle