11 lines
433 B
Plaintext
11 lines
433 B
Plaintext
LibPoly is a C library for manipulating polynomials. The target
|
|
applications are symbolic reasoning engines, such as SMT solvers,
|
|
that need to reason about polynomial constraints. It is research
|
|
software under development, so the features and the API might
|
|
change rapidly.
|
|
|
|
|
|
If you want to build the python API, set PYTHON=yes to the
|
|
environment variables. By default it uses python2, if you want to
|
|
use python3 set PYTHON3=yes.
|