forked from gertvv/oops
-
Notifications
You must be signed in to change notification settings - Fork 0
/
README
120 lines (77 loc) · 3.89 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
Introduction
==============================================================================
This is OOPS, the Object Oriented Prover for S5n. OOPS was created by [Elske
van der Vaart](http://www.ai.rug.nl/~elskevdv/) and [Gert van
Valkenhoef](http://www.gertvv.nl/) in the context of a [Multi-Agent
Systems](http://www.ai.rug.nl/mas/) project.
OOPS makes use of a tableau proof method in order to prove or disprove
formulas in the S5n modal logic. More information can be found on the
[OOPS wiki on GitHub](http://wiki.github.com/gertvv/oops).
To encourage future work on OOPS, the source code is available under the GNU
General Public License (GNU GPL). It is our hope that OOPS will be tested,
proven correct, extended or otherwise enhanced in the context of future
student projects.
License
==============================================================================
OOPS - Object Oriented Prover for S5n
Copyright (C) 2007-2009 Elske van der Vaart and Gert van Valkenhoef
This program is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License version 2 as published
by the Free Software Foundation.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License along
with this program; if not, write to the Free Software Foundation, Inc.,
51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
See the 'LICENSE' file in the source distribution for more information.
Running OOPS
==============================================================================
To run OOPS from the provided ZIP file, you need Java version 1.5 or higher.
Example:
$ java -jar oops.jar
Or simply double-click on oops.jar.
Compiling from source
==============================================================================
Requirements
------------------------------------------------------------------------------
In order to build the sources in this directory you need:
- [Sun Java](http://java.sun.com/) 1.5 or higher (or any compatible
implementation)
- [Maven2](http://maven.apache.org/)
Any additional dependencies will be downloaded automatically via Maven.
Getting the latest version from GitHub
------------------------------------------------------------------------------
You will need to have [Git](http://git-scm.com/) installed. Run the following
command:
$ git clone git://github.com/gertvv/oops.git
Alternatively, go to http://github.com/gertvv/oops and see the downloads
section, where you can retrieve source for any of the released versions of
OOPS.
Building the JAR
------------------------------------------------------------------------------
Do the following:
$ cd parser
$ mvn install
This will install the parser library to your local Maven2 repository. Then:
$ cd application
$ mvn package
This will create application/target/oops-$VERSION-jar-with-dependencies.jar,
which you can use to run OOPS.
Alternatively, the following will install OOPS to your Maven2 repository:
$ mvn install
Running the test suite
------------------------------------------------------------------------------
The maven build automatically runs all provided unit tests (under src/test).
Test reports are generated under target/surefire-reports.
Generating an Eclipse project
------------------------------------------------------------------------------
First, set up Eclipse to work with Maven (this sets some variables in your
workspace):
$ mvn eclipse:configure-workspace -Declipse.workspace=$WORKSPACE
Make sure the parser is installed in your local Maven2 repository (see above).
Then, do the following:
$ cd application
$ mvn eclipse:eclipse
Now, import the project into Eclipse.