verigraph icon indicating copy to clipboard operation
verigraph copied to clipboard

Published 20 hours ago • verified publisher icon Verites

Calculate critical pairs with symbolic graphs

Open ggazzi opened this issue 7 years ago • 0 comments

Have a command line program that calculates critical pairs and writes them to a CPX file.

ggazzi avatar Apr 07 '17 15:04 ggazzi