search

KrusecN13 / SATSolver

0 stars 1 forks source link

Example input #2

Closed jaanos closed 6 years ago

jaanos commented 6 years ago

Please specify in README.md which of the input files is the one you are choosing as your example (i.e., the one that best shows the strengths of your SAT solver).