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 /pom.xml | |
| 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 'pom.xml')
| -rw-r--r-- | pom.xml | 10 |
1 files changed, 5 insertions, 5 deletions
| @@ -108,11 +108,11 @@ | |||
| 108 | <artifactId>testng</artifactId> | 108 | <artifactId>testng</artifactId> |
| 109 | <version>6.7</version> | 109 | <version>6.7</version> |
| 110 | </dependency> | 110 | </dependency> |
| 111 | <dependency> | 111 | <!--<dependency>--> |
| 112 | <groupId>com.googlecode.json-simple</groupId> | 112 | <!--<groupId>com.googlecode.json-simple</groupId>--> |
| 113 | <artifactId>json-simple</artifactId> | 113 | <!--<artifactId>json-simple</artifactId>--> |
| 114 | <version>1.1.1</version> | 114 | <!--<version>1.1.1</version>--> |
| 115 | </dependency> | 115 | <!--</dependency>--> |
| 116 | <dependency> | 116 | <dependency> |
| 117 | <groupId>com.google.code.gson</groupId> | 117 | <groupId>com.google.code.gson</groupId> |
| 118 | <artifactId>gson</artifactId> | 118 | <artifactId>gson</artifactId> |