Files
cvc5/test/unit/api/java/FiniteFieldTest.java
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

2.5 KiB