Checking distance one proofs
Armin Biere, Manuel Kauers, Daniela Ritirc

The python script takes the vertices and edges
as input, rewrites then and returns a file 
which can be passed on to the computer algebra
system Singular, where the actual reduction is applied.

Usage:  
  python3  check_dist_one.py <file>.vtx <file>.edge
  Singular <file>.singular
  
  
Daniela Ritirc
Tue Apr 17 19:24:27 CEST 2018


