search

tuura / graph-families

Collection of benchmarks for graph families and associated algorithms
Other
0 stars 1 forks source link

Conditions renamed #11

Closed allegroCoder closed 8 years ago

allegroCoder commented 8 years ago

Renamed conditions in CPOG files. This is needed for the Single literal encoding which uses more variables for the encoding, overlapping the ones with the same names.

snowleopard commented 8 years ago

:+1: