Merge 48b0aa2 into dddee40

REQUIRE

@@ -1,6 +1,6 @@
 julia 0.7
 BinDeps
 MathProgBase 0.6
-Polyhedra 0.4 0.5
+Polyhedra 0.4.4 0.5
 @windows WinRPM
 @osx Homebrew

src/mathprogbase.jl

@@ -1,3 +1,5 @@
+using SparseArrays
+
 export CDDPolyhedraModel, CDDSolver
 
 mutable struct CDDPolyhedraModel <: Polyhedra.AbstractPolyhedraModel
@@ -29,6 +31,12 @@ end
 function Polyhedra.PolyhedraModel(s::CDDSolver)
     CDDPolyhedraModel(s.solver_type, s.exact, nothing, :Undefined, 0, [], [], [], [])
 end
+
+function Polyhedra.PolyhedraToLPQPBridge(lpm::CDDPolyhedraModel)
+    T = lpm.exact ? Rational{BigInt} : Float64
+    Polyhedra.PolyhedraToLPQPBridge(lpm, sparse(Int[],Int[],T[]), T[], T[], T[], T[], T[], :Min, nothing, nothing)
+end
+
 MPB.LinearQuadraticModel(s::CDDSolver) = Polyhedra.PolyhedraToLPQPBridge(Polyhedra.PolyhedraModel(s))
 
 function MPB.loadproblem!(lpm::CDDPolyhedraModel, rep::HRep, obj, sense)

test/mathprogbase.jl

@@ -20,3 +20,21 @@ linprogsolvertest(CDDSolver(; solver_type=:DualSimplex, exact=true))
 
 linprogsolvertest(CDDSolver(; solver_type=:CrissCross))
 linprogsolvertest(CDDSolver(; solver_type=:CrissCross, exact=true))
+
+# Issue #31
+@testset "CDDSolver: exact solution" begin
+    A = [7//3 1//3]
+    sense = '<'
+    b = 1//2
+    c = [-1//1, 0]
+
+    val = -3//14
+    x = [3//14, 0//1]
+
+    for solver_type in [:DualSimplex, :CrissCross]
+        lp_solver = CDDSolver(solver_type=solver_type, exact=true)
+        sol = MathProgBase.linprog(c, A, '<', b, lp_solver)
+        @test sol.objval == val
+        @test sol.sol == x
+    end
+end