mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-01 01:00:03 +01:00
10 lines
433 B
Text
10 lines
433 B
Text
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.
|