Be the first to post a text review of PolyBoRi. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• Project Information Updated

  alexanderdreyer changed the public information on the PolyBoRi project

  posted by alexanderdreyer 46 days ago

• File released: /polybori/0.6.3/Changes_0.6.3

  posted 108 days ago

• File released: /polybori/0.6.3/PolyBoRi-0.6-3.src.rpm

  posted 108 days ago

• File released: /polybori/0.6.3/polybori-0.6-3.tar.gz

  posted 108 days ago

• Code committed

  alexanderdreyer committed patchset 78 of module PolyBoRi to the PolyBoRi CVS repository, changing 18 files

  posted by alexanderdreyer 108 days ago

• polybori 0.6.2 file released: polybori-0.6-2.tar.gz

  * hashing BooleVariable consistent with BoolePolynomial and BooleMonomial * Python interface Polynomial.stableHash -> Polynomial.stable_hash * added substitute_variables function in python and c++ * Cloning of rings added. This results in rings with similar properties. They share the same decision diagram management, but ordering and variable names may be changed independently. * FORCE_HASH_MAP can now to used to force scons to use deprecated hash_map * fixed bug in groebner basis heuristic * new linear lexicographical lead functions / also included in groebner_basis for some cases * fixed heuristics * Python enabledLog -> enabled_log * fixed bug in new ll routines * Solaris port supported * Compatibility with upcoming scons versions (removing deprecated stuff)

  posted 112 days ago

• polybori 0.6.2 file released: PolyBoRi-0.6-2.src.rpm

  * hashing BooleVariable consistent with BoolePolynomial and BooleMonomial * Python interface Polynomial.stableHash -> Polynomial.stable_hash * added substitute_variables function in python and c++ * Cloning of rings added. This results in rings with similar properties. They share the same decision diagram management, but ordering and variable names may be changed independently. * FORCE_HASH_MAP can now to used to force scons to use deprecated hash_map * fixed bug in groebner basis heuristic * new linear lexicographical lead functions / also included in groebner_basis for some cases * fixed heuristics * Python enabledLog -> enabled_log * fixed bug in new ll routines * Solaris port supported * Compatibility with upcoming scons versions (removing deprecated stuff)

  posted 112 days ago

• File released: /polybori/0.6.2/polybori-0.6-2.tar.gz

  posted 112 days ago

• File released: /polybori/0.6.2/PolyBoRi-0.6-2.src.rpm

  posted 112 days ago

• Code committed

  alexanderdreyer committed patchset 77 of module PolyBoRi to the PolyBoRi CVS repository, changing 1 files

  posted by alexanderdreyer 112 days ago