Sarkoxed 3185d5c293 cpp api: Extend the FiniteField related initialization functions (#9926) ...

This adds a general way to initialize the finite field and the element
of the final field in the C++ API from a string of an arbitrary base.

---------

Signed-off-by: Sarkoxed <sarkoxed2013@yandex.ru>
Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>

2023-12-13 22:21:14 +00:00

..

Bags.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

BitVectors.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

BitVectorsAndArrays.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

CMakeLists.txt

examples: Enable FF examples when built with cocoa. (#10121)

2023-10-25 19:30:59 +00:00

Combination.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Datatypes.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Exceptions.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Extract.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

FiniteField.java

cpp api: Extend the FiniteField related initialization functions (#9926)

2023-12-13 22:21:14 +00:00

FloatingPointArith.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

HelloWorld.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

LinearArith.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Parser.java

Add parser java examples (#10224)

2023-12-13 11:50:22 -06:00

ParserSymbolManager.java

Add parser java examples (#10224)

2023-12-13 11:50:22 -06:00

QuickStart.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Relations.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Sequences.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Sets.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Statistics.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Strings.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

SygusFun.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

SygusInv.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Transcendentals.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

UnsatCores.java

Refctor Solver.java to extend AbstractPointer (#10064)

2023-10-02 06:20:26 +00:00

Utils.java

…