SlackBuilds Repository

15.0 > Libraries > libpoly (0.1.11)

  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.

Maintained by: William PC
Keywords: polynomials,symbolic reasoning engines,satisfiability modulo theories
ChangeLog: libpoly

Homepage:
http://sri-csl.github.io/libpoly

Source Downloads:
libpoly-0.1.11.tar.gz (ceb5155194bd5845e8081f211f10fe69)

Download SlackBuild:
libpoly.tar.gz
libpoly.tar.gz.asc (FAQ)

(the SlackBuild does not include the source)

Individual Files:
README
libpoly.SlackBuild
libpoly.info
slack-desc

Validated for Slackware 15.0

See our HOWTO for instructions on how to use the contents of this repository.

Access to the repository is available via:
ftp git cgit http rsync

© 2006-2024 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of Patrick Volkerding
Linux® is a registered trademark of Linus Torvalds