Mercurial > repos > mikel-egana-aranguren > oppl

diff OPPL/FaCT++-linux-v1.5.2/Models.lisp/query.default @ 8:40adbcb2a7cc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added merge function and FaCT++ support. Improved OBO render
author Mikel Egaña Aranguren <mikel-egana-aranguren@toolshed.g2.bx.psu.edu>
date Tue, 11 Oct 2011 11:09:52 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/OPPL/FaCT++-linux-v1.5.2/Models.lisp/query.default	Tue Oct 11 11:09:52 2011 +0200
@@ -0,0 +1,16 @@
+[Query]
+
+;--
+;-- targets for single satisfiability (is Target sat) or subsumption (if Target [= Target2 holds) test
+;--
+
+; Target = *TOP*
+; Target2 = *BOTTOM*
+
+;***
+;*** please do not change lines below
+;***
+
+;--
+;-- target KB
+;--