Geeks
cynthi8
/
convert_to_3sat
Convert SAT CNF files to 3SAT version
Primary Language
Python
convert_to_3sat GitHub
Markdown
Readme
1
Issue
0
Stargazers
1
Watcher
Issues
Open issue
Reference or Algorithm
#1 opened
a year ago
by
summer-yf
0