As a lava developer, I want to be able to define Integer Quadratic Programming and Integer Linear Programming problems in order to be able in the future to solve them.
Conditions of satisfaction
The interface can define the problem in standard form through a Hessian matrix $H$, a cost coefficient $c$, linear constraints based on a matrix $A$ and a bias vector $b$.
\min{x^THx+c^Tx}
Ax \geq b
x \geq 0
x \in \mathcal{Z}
Given a candidate solution to the problem, it should be easy to compute the associated cost and constraint violation.
User story
As a lava developer, I want to be able to define Integer Quadratic Programming and Integer Linear Programming problems in order to be able in the future to solve them.
Conditions of satisfaction
Acceptance tests