Home My Page Projects anf2cnf
Summary Activity Forums Tracker News Files

Forum: anf2cnf Sage script released

Posted by: Mate Soos
Date: 2010-09-23 17:19
Summary: anf2cnf Sage script released
Project: anf2cnf

This project has not yet categorized itself in the Trove Software Map


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
Latest News

anf2cnf Sage script released

Mate Soos - 2010-09-23 17:19 -
Monitor Forum | Start New Thread Start New Thread