Author: niels
Date: Sat Aug 8 08:54:36 2009
New Revision: 4528
URL: http://svn.gna.org/viewcvs/service-tech?rev=4528&view=rev
Log:
* initial checkin of Safira (Set Algebra for Service Behavior) including MiniSAT
Added:
trunk/safira/
trunk/safira/AUTHORS
trunk/safira/ChangeLog
trunk/safira/Makefile.am
trunk/safira/NEWS
trunk/safira/README
trunk/safira/configure.ac
trunk/safira/minisat/
trunk/safira/minisat/src/
trunk/safira/minisat/src/Alg.h
trunk/safira/minisat/src/Heap.h
trunk/safira/minisat/src/Main.C
trunk/safira/minisat/src/Makefile.am
trunk/safira/minisat/src/Solver.C
trunk/safira/minisat/src/Solver.h
trunk/safira/minisat/src/SolverTypes.h
trunk/safira/minisat/src/Sort.h
trunk/safira/minisat/src/Vec.h
trunk/safira/src/
trunk/safira/src/Formula.cc
trunk/safira/src/Formula.h
trunk/safira/src/Graph.cc
trunk/safira/src/Graph.h
trunk/safira/src/Makefile.am
trunk/safira/src/Node.cc
trunk/safira/src/Node.h
trunk/safira/src/cmdline.ggo
trunk/safira/src/helpers.cc
trunk/safira/src/helpers.h
trunk/safira/src/main.cc
trunk/safira/src/og_lexer.ll
trunk/safira/src/og_syntax.yy
trunk/safira/src/safira.conf
trunk/safira/src/testFormula.cc
trunk/safira/src/testFormula.h
trunk/safira/src/testGraph.cc
trunk/safira/src/testGraph.h
trunk/safira/src/testNode.cc
trunk/safira/src/testNode.h
trunk/safira/src/types.h
trunk/safira/src/verbose.cc
trunk/safira/src/verbose.h
trunk/safira/tests/
trunk/safira/tests/Makefile.am
trunk/safira/tests/package.m4.in
trunk/safira/tests/testfiles/
trunk/safira/tests/testfiles/._spec_klein.og (with props)
trunk/safira/tests/testfiles/erg.txt
trunk/safira/tests/testfiles/spec_klein.og
trunk/safira/tests/testsuite.at
trunk/safira/tests/versions.sh (with props)
trunk/safira/tests/wrap.sh (with props)
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
