solver

package

v0.0.0-...-9e3a658 Latest Latest Go to latest Published: May 9, 2022 License: MIT Imports: 17 Imported by: 0

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

View Source

const BIMANDER_FACTOR = 2

View Source

const COMMANDER_FACTOR = 3

View Source

var Data10x10 = `` /* 214-byte string literal not displayed */

View Source

var Data12x12 = `` /* 304-byte string literal not displayed */

View Source

var Data15x15 = `` /* 471-byte string literal not displayed */

View Source

var Data20x20 = `` /* 835-byte string literal not displayed */

View Source

var Data5x5 = `5 5
. . 4 3 . 
4 . . 1 . 
3 . 2 . . 
. . 1 2 . 
. . . . .`

View Source

var Data8x8 = `` /* 138-byte string literal not displayed */

func ExplainUnsat(pb *solver.Problem)

func GetInfo(board *numberlink.Board, algorithm string)

func SolveWithCustomSolver(board *numberlink.Board, solver, algorithm string) string

func SolveWithGini(board *numberlink.Board, algorithm string) string

type CNF struct {
	CNFInterface
	Board   *numberlink.Board
	Clauses [][]int
	// contains filtered or unexported fields
}

func (c *CNF) Print(w io.Writer)

func (c *CNF) Simplify(options SimplifyOptions)

type CNFBuilder = func(c CNFInterface, lits []int) [][]int

type CNFInterface interface {
	Simplify(SimplifyOptions)
	Print(w io.Writer)
	// contains filtered or unexported methods
}

func GenerateCNFConstraints(board *numberlink.Board, algorithm string) CNFInterface

type CNFParallel struct {
	CNFInterface
	*CNF
	// contains filtered or unexported fields
}

func (c *CNFParallel) Print(w io.Writer)

func (c *CNFParallel) Simplify(options SimplifyOptions)

type SimplifyOptions struct {
	// contains filtered or unexported fields
}

type WorkRequest struct {
	// contains filtered or unexported fields
}