Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
entries for ZChaff and BerkMin added/modified
authorwebertj
Tue, 15 Jun 2004 00:06:40 +0200
changeset 14942 78ddcbebace1
parent 14941 1edb674e0c33
child 14943 ffdb22cf6f67
entries for ZChaff and BerkMin added/modified
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Mon Jun 14 16:46:48 2004 +0200
+++ b/etc/settings	Tue Jun 15 00:06:40 2004 +0200
@@ -220,5 +220,10 @@
 # Einhoven model checker
 #EINDHOVEN_HOME=/usr/local/bin
 
-# ZChaff SAT solver
+# ZChaff, Version 2003.12.04 (SAT Solver)
 #ZCHAFF_HOME=/usr/local/bin
+
+# BerkMin561 (SAT Solver)
+#BERKMIN_HOME=/usr/local/bin
+#BERKMIN_EXE=BerkMin561-linux
+#BERKMIN_EXE=BerkMin561-solaris
isabelle