gnu99 to c99 (not compiler dependent) produces a warning for mkstemp
[anf2cnf:anf2cnf.git] / anf2cnf.py
2011-01-13 Mate SoosBetter assert fail
2011-01-06 Luk BettaleMerge branch 'master' of gitorious.org:anf2cnf/anf2cnf
2011-01-06 Mate SoosMerge branch 'master' into HEAD
2011-01-06 Mate SoosAdding anf2cnf binary based solver to anf2cnf.py
2011-01-06 Luk BettaleMerge branch 'master' of gitorious.org:anf2cnf/anf2cnf
2011-01-06 Mate SoosMerge branch 'lukCorrect'
2011-01-06 Mate SoosMerge branch 'seeminglyCorrect'
2011-01-05 Mate SoosLuk's program cannot eat var 0, only var 1 and above
2011-01-05 Mate SoosAdd delimiter-creator to SAGE script, to create files...
2010-10-14 Luk BettaleMerge branch 'linkedlist'
2010-09-27 Mate SoosCorrecting monomial definitions' comments
2010-09-23 Mate SoosAdding python script for conversion