search

niklasso / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
1.02k stars 390 forks source link

what is cnf-file? #44

Open llllllzf opened 2 years ago

llllllzf commented 2 years ago

Can you help explain the last line in the example, how to write a cnf-file and how to use it? please!

ArsenyYankovsky commented 2 years ago

Here's a good link explaining the format