source: git/Singular/cnf2ideal.py

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @0e9ea9   18 years bricken + cleanup git-svn-id: file:///usr/local/Singular/svn/trunk@9358 ... spielwiese
(edit) @d961eb   18 years bricken *bricken: + magma support git-svn-id: ... spielwiese
(edit) @d8e1214   18 years bricken *bricken: + magma support git-svn-id: ... spielwiese
(edit) @d420d9   18 years bricken *bricken: much enhanced git-svn-id: ... spielwiese
(edit) @79c813   18 years bricken *bricken: +PolyBoRi git-svn-id: ... spielwiese
(add) @28d253   19 years bricken *bricken: initial version of converter for DIMACS format git-svn-id: ... spielwiese
Note: See TracRevisionLog for help on using the revision log.