예제 #1
0
파일: minisat.go 프로젝트: gatlin/Saturn
func SolveDIMACS(text string) (solvable bool, soln []bool) {
	slv := C.make_solver()
	res := C.solve(slv, C.CString(text))
	if res == 1 {
		solvable = true
		soln = solution(slv)
	} else {
		solvable = false
		soln = nil
	}
	C.solver_delete(slv)
	return
}
예제 #2
0
func (l *LP) Solve() {
	C.solve(l.ptr)
}
예제 #3
0
파일: lp.go 프로젝트: gaffo/golp
// Solve the linear (or mixed integer) program and return the solution type
// See http://lpsolve.sourceforge.net/5.5/solve.htm
func (l *LP) Solve() SolutionType {
	return SolutionType(C.solve(l.ptr))
}