Daniel Larraz 6f32ee5ca0 doc: Pass TermManager to Solver in Java examples (#11232) ...

It also replaces calls to deprecated functions of `Solver` with the
corresponding function of `TermManager`.

---------

Co-authored-by: mudathirmahgoub <mudathirmahgoub@gmail.com>

2024-09-26 21:00:25 +00:00

..

Bags.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

BitVectors.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

BitVectorsAndArrays.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

CMakeLists.txt

Adding UF examples (#10824)

2024-06-06 11:37:44 -03:00

Combination.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Datatypes.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Exceptions.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Extract.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

FiniteField.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

FloatingPointArith.java

examples: Refactor and expand FP examples. (#10686)

2024-06-21 21:32:07 +00:00

HelloWorld.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

LinearArith.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Parser.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

ParserSymbolManager.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

QuickStart.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Relations.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Sequences.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Sets.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Statistics.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Strings.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

SygusFun.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

SygusInv.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Transcendentals.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Uf.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

UnsatCores.java

doc: Pass TermManager to Solver in Java examples (#11232)

2024-09-26 21:00:25 +00:00

Utils.java

Update copyright headers. (#10459)

2024-03-12 09:35:09 -07:00