Categorygithub.com/khanh-nguyen-code/sudokusat
package
0.0.0-20211117131210-5f8df778ca17
Repository: https://github.com/khanh-nguyen-code/sudoku.git
Documentation: pkg.go.dev
Overview
Versions
1
Dependencies
2
Dependents
1
Files
160 SLOC

# Functions

Implication :.
NewAssignment :.
NewCNF :.
SolveOnce :.

# Constants

Value Constants.
Value Constants.
Value Constants.

# Type aliases

Assignment :.
Clause :.
ClauseIdx :.
CNF :.
Explanation :.
Literal :.
Value :.