diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-05-11 18:00:57 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-05-11 18:00:57 +0100 |
| commit | 4fe4ca32d8f45807ab881b6fb8e814842dad0ec6 (patch) | |
| tree | 024d11d748efc24494a28fdfb7efda3db5231ac4 /.idea | |
| parent | 870eb35e38f746ed73f233070dcf3bdaf4687e02 (diff) | |
| download | ACQuA-4fe4ca32d8f45807ab881b6fb8e814842dad0ec6.tar.gz ACQuA-4fe4ca32d8f45807ab881b6fb8e814842dad0ec6.zip | |
Adding (not completed) a new upper bound technique, namely Limited Skolemisation.
Diffstat (limited to '.idea')
| -rw-r--r-- | .idea/libraries/Maven__com_googlecode_json_simple_json_simple_1_1_1.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/.idea/libraries/Maven__com_googlecode_json_simple_json_simple_1_1_1.xml b/.idea/libraries/Maven__com_googlecode_json_simple_json_simple_1_1_1.xml deleted file mode 100644 index f3f3738..0000000 --- a/.idea/libraries/Maven__com_googlecode_json_simple_json_simple_1_1_1.xml +++ /dev/null | |||
| @@ -1,13 +0,0 @@ | |||
| 1 | <component name="libraryTable"> | ||
| 2 | <library name="Maven: com.googlecode.json-simple:json-simple:1.1.1"> | ||
| 3 | <CLASSES> | ||
| 4 | <root url="jar://$MAVEN_REPOSITORY$/com/googlecode/json-simple/json-simple/1.1.1/json-simple-1.1.1.jar!/" /> | ||
| 5 | </CLASSES> | ||
| 6 | <JAVADOC> | ||
| 7 | <root url="jar://$MAVEN_REPOSITORY$/com/googlecode/json-simple/json-simple/1.1.1/json-simple-1.1.1-javadoc.jar!/" /> | ||
| 8 | </JAVADOC> | ||
| 9 | <SOURCES> | ||
| 10 | <root url="jar://$MAVEN_REPOSITORY$/com/googlecode/json-simple/json-simple/1.1.1/json-simple-1.1.1-sources.jar!/" /> | ||
| 11 | </SOURCES> | ||
| 12 | </library> | ||
| 13 | </component> \ No newline at end of file | ||