Home My Page Projects anf2cnf
Summary Activity Forums Tracker News Files

Project Filelist for anf2cnf

File Release Notes and Changelog

Release Name: v0.1

Release Notes

The first release of the Sage script, written in python to convert ANF two CNF. It is an updated version of Martin Albrecht's script

Change Log

* Removed repeated definitions * Added comment lines to help understanding of CNF * Corrected translation of XOR-s * Corrected variable numbering: number 1 was unused