Andres Noetzli 2773c6380c [Java API] Do not link JNI libraries (#8870) ...

Fixes #8869. We are not using `libjawt.so` or `libjvm.so` (we are not
using the Java Invocation API), so we don't need to link `libcvc5jni`
against `JNI_LIBRARIES`. This change allows us to use cvc5 from Java
without linking against the JNI libraries (see changes in the `examples`
folder).

2022-06-08 19:30:40 -07:00

..

Bags.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

BitVectors.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

BitVectorsAndArrays.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

CMakeLists.txt

[Java API] Do not link JNI libraries (#8870)

2022-06-08 19:30:40 -07:00

Combination.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

Datatypes.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

Exceptions.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

Extract.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

FloatingPointArith.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

HelloWorld.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

LinearArith.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

QuickStart.java

docs: Do not use explicit line numbers in literalinclude. (#8690)

2022-05-02 20:13:00 +00:00

Relations.java

Add Relation and Table types to SMTLib parser (#8605)

2022-04-13 13:54:27 -05:00

Sequences.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

Sets.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

Statistics.java

Add Relation and Table types to SMTLib parser (#8605)

2022-04-13 13:54:27 -05:00

Strings.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

SygusFun.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

SygusGrammar.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

SygusInv.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

Transcendentals.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

UnsatCores.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

Utils.java

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00