hal8174/simple-sat-solver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
simple-sat-solver/sat/sudoku-first-line.sat

1 line
495 B
Text
Raw Permalink Blame History

(s111&!s112&!s113&!s114&!s115&!s116&!s117&!s118&!s119)|(!s111&s112&!s113&!s114&!s115&!s116&!s117&!s118&!s119)|(!s111&!s112&s113&!s114&!s115&!s116&!s117&!s118&!s119)|(!s111&!s112&!s113&s114&!s115&!s116&!s117&!s118&!s119)|(!s111&!s112&!s113&!s114&s115&!s116&!s117&!s118&!s119)|(!s111&!s112&!s113&!s114&!s115&s116&!s117&!s118&!s119)|(!s111&!s112&!s113&!s114&!s115&!s116&s117&!s118&!s119)|(!s111&!s112&!s113&!s114&!s115&!s116&!s117&s118&!s119)|(!s111&!s112&!s113&!s114&!s115&!s116&!s117&!s118&s119)
Reference in a new issue View git blame Copy permalink