diff options
Diffstat (limited to 'libraries/libpoly/README')
| -rw-r--r-- | libraries/libpoly/README | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/libraries/libpoly/README b/libraries/libpoly/README new file mode 100644 index 0000000000..64b6fe3226 --- /dev/null +++ b/libraries/libpoly/README @@ -0,0 +1,10 @@ + 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. |