daajoe / sat2vc

sat2vc transforms SAT instances into VC instances.

https://pacechallenge.org/2019/vc/index

Geek Repo

Github PK Tool