brickenstein / polybori-scripts / overview

Scripts for PolyBoRi

Clone this repository (size: 15.9 KB): HTTPS / SSH

$ hg clone http://bitbucket.org/brickenstein/polybori-scripts/

$ hg clone ssh://hg@bitbucket.org/brickenstein/polybori-scripts/

Age	Author	Message	A	M
5 months	brickenstein	tested it and fixed xor clauses	0	1
5 months	brickenstein	initial support for variable/clause groups/have to test it	0	1
5 months	brickenstein	native CryptoMiniSat support	0	1
6 months	brickenstein	treat linear polynomials	0	1
6 months	brickenstein	fixed critical bug	0	1
6 months	brickenstein	added complexer test	0	1
6 months	brickenstein	direct import from polybori.PyPolyBoRi	0	1
6 months	brickenstein	randomized clause generation	0	1
6 months	brickenstein	generate smaller clauses	0	1
6 months	brickenstein	fixed doctest formatting	0	1
6 months	brickenstein	generate dimacs format	0	1
6 months	brickenstein	+ added cnf conversion	1	0
6 months	brickenstein	+ clean arguments also for second gb call/added convert.py	1	1
6 months	brickenstein	initial version	2	0