encoding

type CNF [][]int

type DirectEncoding struct {
	Pen *models.PeriodicEventNetwork
	// contains filtered or unexported fields
}

type Encoding interface {
	Solve(g *gini.Gini) (models.Schedule, error)
	SolveAll() <-chan models.Schedule
	Stats() *Statistics
}

type OrderEncoding struct {
	Pen *models.PeriodicEventNetwork
	// contains filtered or unexported fields
}

type Rect [4]int

type Statistics struct {
	MaxVar    uint64
	Clause    uint64
	SolveTime time.Duration
}