BasicKnapsackSolver

Detailed Description

Definition at line 244 of file sat/util.h.

Classes
struct	Result

Public Member Functions
Result	Solve (const std::vector< Domain > &domains, const std::vector< int64_t > &coeffs, const std::vector< int64_t > &costs, const Domain &rhs)

Member Function Documentation

Solve()

BasicKnapsackSolver::Result Solve	(	const std::vector< Domain > &	domains,
		const std::vector< int64_t > &	coeffs,
		const std::vector< int64_t > &	costs,
		const Domain &	rhs
	)

Definition at line 546 of file sat/util.cc.

---

The documentation for this class was generated from the following files:

• sat/util.h
• sat/util.cc