Home My Page Projects anf2cnf
Summary Activity Forums Tracker News Files


Choose a News item and you can browse, search, and post messages.

anf2cnf Sage script released

Mate Soos - 2010-09-23 17:19 - anf2cnf

A preliminary version of the ANF-to-CNF converter script for Sage has been released. This is an updated version of Martin Albrecht script with a number of important changes and additions

0 Comment Read More/Comment