Successor to PolyBoRi
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
cudd
groebner
libbrial
m4
sage-brial
tests
.gitignore
.travis.yml
LICENSE
Makefile.am
README
README.md
common.mk
configure.ac

README.md

Build Status

BRiAl is the legacy version of PolyBoRi maintained by sagemath developers.

libBRiAl is the C/C++ library part of BRiAl.

The building requisite for libBRiAl are

  • A modern C compiler supporting the C99 standard
  • A modern C++ compiler supporting C++11
  • A recent Boost release (1.58.0 or over)
  • Optionally (but highly recommended) the m4ri library

Also included but to be installed separately is sage-brial. sage-brial offers a python interface to libbrial through the sage bindings to libbrial.