Download List

Project Description

PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Groebner bases over Boolean Rings.

System Requirements

Operating System: OS Portable (Source code to work with many OS platforms), POSIX (Linux,BSD,Solaris etc..), BSD

Download Package list

Latest 5 files
Name Size Date Download count
polybori_0.8.3-1~exp1.dsc 1.8 KB 2013-01-30 09:18 4
polybori_0.8.3-1~exp1.debian.tar.gz 7.9 KB 2013-01-30 09:18 7
polybori_0.8.3.orig.tar.gz 2.3 MB 2013-01-30 09:18 7
PolyBoRi-0.8.3-0.src.rpm 1.9 MB 2013-01-30 08:02 6
polybori-0.8.3.tar.gz 2.1 MB 2013-01-30 08:02 16
All Files
polybori
0.8.3
polybori_0.8.3-1~exp1.dsc1.8 KB2013-01-30 09:184
polybori_0.8.3-1~exp1.debian.tar.gz7.9 KB2013-01-30 09:187
polybori_0.8.3.orig.tar.gz2.3 MB2013-01-30 09:187
PolyBoRi-0.8.3-0.src.rpm1.9 MB2013-01-30 08:026
polybori-0.8.3.tar.gz2.1 MB2013-01-30 08:0216
0.8.3rc
polybori-0.8.3_rc2.tar.gz2.1 MB2013-01-29 06:213
polybori-0.8.3rc1.tar.gz2.1 MB2013-01-23 07:142
polybori-0.8.3rc0.tar.gz2.1 MB2013-01-22 21:014
0.8.2
readme.txt1.4 KB2012-07-09 17:423
polybori_0.8.2.debian.tar.gz2.7 MB2012-07-09 17:394
PolyBoRi-0.8.2-0.src.rpm2.0 MB2012-07-09 17:385
polybori-0.8.2.tar.gz2.7 MB2012-07-09 17:384
0.8.2rc
polybori-0.8.2rc3.tar.gz2.7 MB2012-06-19 18:231
polybori-0.8.2rc2.tar.gz2.7 MB2012-06-19 18:232
polybori-0.8.2rc1.tar.gz2.7 MB2012-06-16 06:354
polybori-0.8.2rc0.tar.gz2.7 MB2012-06-16 05:314
polybori-0.8.2rc2.tar.gz2.7 MB2012-06-17 06:033
0.8.1
readme.txt1.6 KB2012-03-17 06:542
polybori_0.8.1.debian.tar.gz2.7 MB2012-03-17 06:469
PolyBoRi-0.8.1-0.src.rpm2.0 MB2012-03-17 06:453
polybori-0.8.1.tar.gz2.7 MB2012-03-17 06:445
0.8.1rc
PolyBoRi-0.8.1-0.src.rpm2.0 MB2012-03-16 07:574
polybori-0.8.1rc6.tar.gz2.7 MB2012-03-16 07:562
polybori-0.8.1rc5.tar.gz2.7 MB2012-03-14 22:042
polybori-0.8.1rc4.tar.gz2.7 MB2012-03-13 21:273
polybori-0.8.1rc3.tar.gz2.7 MB2012-03-12 20:592
polybori-0.8.1rc2.tar.gz2.7 MB2012-03-08 06:320
polybori-0.8.1rc1.tar.gz2.8 MB2012-03-01 07:194
polybori-0.8.1rc0.tar.gz2.8 MB2012-02-17 21:543
0.8.0
readme.txt2.2 KB2011-09-08 05:502
polybori_0.8.0.debian.tar.gz2.3 MB2011-09-08 05:465
PolyBoRi-0.8.0-0.src.rpm1.6 MB2011-09-08 05:453
polybori-0.8.0.tar.gz2.3 MB2011-09-08 05:445
0.7.2
polybori-0.7.2.tar.gz2.3 MB2011-09-06 08:133
0.8.alphas
polybori-0.8.0rc5.tar.gz2.3 MB2011-09-02 18:521
polybori-0.8.0rc4.tar.gz2.2 MB2011-08-20 07:351
polybori-0.8.0rc3.tar.gz2.3 MB2011-08-17 19:503
polybori-0.8.0rc2.tar.gz2.3 MB2011-08-16 06:093
polybori-0.8-0rc1.tar.gz2.2 MB2011-08-10 07:553
polybori-0.8-0rc0.tar.gz2.2 MB2011-08-08 18:171
polybori-0.8-0alpha1.tar.gz2.2 MB2011-08-03 06:543
polybori-0.8-0alpha0.tar.gz2.2 MB2011-07-05 20:413
0.7.1
readme.txt2.0 KB2011-04-27 20:092
polybori-0.7.1.tar.gz2.3 MB2011-04-27 20:066
0.7.0
readme.txt1.6 KB2011-02-25 19:031
polybori-0.7.tar.gz2.3 MB2011-02-25 18:524
0.7.0.rc
polybori-0.7-rc3.tar.gz2.3 MB2011-02-24 00:013
polybori-0.7-rc2.tar.gz2.3 MB2011-02-22 05:105
polybori-0.7-rc1.tar.gz2.3 MB2011-02-16 08:073
polybori-0.7-rc0.tar.gz2.3 MB2011-02-11 22:535
0.6.5
Changes-0.6.50.5 KB2010-06-25 17:055
PolyBoRi-0.6-5.src.rpm2.3 MB2010-06-25 17:045
polybori-0.6-5.tar.gz2.3 MB2010-06-25 17:042
0.6.4
polybori-0.6-4.tar.gz2.3 MB2010-01-29 18:474
PolyBoRi-0.6-4.src.rpm2.3 MB2010-01-29 18:445
Changes-0.6.40.5 KB2010-01-29 18:322
0.6.3
Changes_0.6.30.4 KB2009-07-24 20:254
PolyBoRi-0.6-3.src.rpm2.3 MB2009-07-24 18:304
polybori-0.6-3.tar.gz2.3 MB2009-07-24 18:280
0.6.2
polybori-0.6-2.tar.gz2.3 MB2009-07-21 05:325
PolyBoRi-0.6-2.src.rpm2.3 MB2009-07-21 05:322
0.6.1
polybori-0.6-1.tar.gz2.3 MB2009-05-16 06:453
PolyBoRi-0.6-1.src.rpm2.3 MB2009-05-16 06:401
0.6-0
polybori-0.6.tar.gz2.4 MB2009-05-08 21:563
PolyBoRi-0.6-0.src.rpm2.4 MB2009-05-08 21:504
0.6-rc
PolyBoRi-0.6-0rc2.src.rpm2.4 MB2009-04-29 06:535
polybori-0.6-0rc2-2009-04-28.tar.gz2.4 MB2009-04-29 06:473
PolyBoRi-0.6-0rc1.src.rpm2.4 MB2009-04-14 22:036
polybori-0.6-0rc1-2009-04-14.tar.gz2.4 MB2009-04-14 21:593
PolyBoRi-0.6-0rc0.src.rpm2.4 MB2009-04-06 21:132
polybori-0.6-0rc0-2009-04-06.tar.gz2.4 MB2009-04-06 21:092
0.5
polybori-0.5.tar.gz2.3 MB2008-09-24 06:073
PolyBoRi-0.5-0.src.rpm2.3 MB2008-09-24 06:053
0.5rc
polybori-0.5-2008-08-06.tar.gz2.3 MB2008-08-07 06:343
polybori-0.5-2008-07-09.tar.gz2.5 MB2008-07-09 07:052
0.4
polybori-0.4.tar.gz2.7 MB2008-05-14 06:384
PolyBoRi-0.4-0.src.rpm2.7 MB2008-05-14 06:372
0.4rc
polybori-0.4-2008-05-13.tar.gz2.7 MB2008-05-13 07:505
polybori-0.4-2008-05-06.tar.gz2.8 MB2008-05-06 07:354
polybori-0.4-2008-05-05.tar.gz2.8 MB2008-05-06 06:003
0.3.1
polybori-0.3-1.tar.gz2.7 MB2008-03-13 23:381
PolyBoRi-0.3.1.tar.gz2.7 MB2008-03-13 23:374
PolyBoRi-0.3-1.src.rpm2.7 MB2008-03-13 23:371
0.3
PolyBoRi-0.3-0.tar.gz2.7 MB2008-03-07 21:422
polybori-0.3.tar.gz2.7 MB2008-03-07 21:343
PolyBoRi-0.3-0.src.rpm2.7 MB2008-03-07 21:332
0.2
PolyBoRi-0.2-0.tar.gz2.7 MB2008-02-22 23:552
polybori-0.2.tar.gz2.7 MB2008-02-22 23:524
PolyBoRi-0.2-0.src.rpm2.7 MB2008-02-22 23:503
0.2rc1
PolyBoRi-0.2-rc1.src.rpm2.7 MB2008-02-20 01:304
PolyBoRi-0.2-2008-02-19.tar.gz2.7 MB2008-02-20 01:292
0.2rc0
PolyBoRi-0.2-2008-02-04.tar.gz2.7 MB2008-02-04 20:213
0.1fix1
PolyBoRi-0.1fix1.tar.gz2.7 MB2008-02-01 21:564
0.1fix0
PolyBoRi-0.1fix0.tar.gz2.7 MB2007-12-11 01:594
0.1rc2
PolyBoRi-0.1rc2.tar.gz2.7 MB2007-11-24 01:045
0.1
PolyBoRi-0.1.tar.gz2.7 MB2007-11-24 00:585
OldFiles
polybori-0.4-2008-07-08.tar.gz2.7 MB2008-07-09 06:513
PolyBoRi-0.3.tar.gz2.7 MB2008-03-07 21:345
PolyBoRi-0.2-2007-12-21.tar.gz4.0 MB2007-12-24 02:394