oyamad

$ lldb /Users/oyama/src/julia/usr/bin/julia-debug
(lldb) target create "/Users/oyama/src/julia/usr/bin/julia-debug"
warning: (x86_64) /Users/oyama/src/julia/usr/lib/libLLVM.dylib empty dSYM file detected, dSYM was created with an executable with no debug info.
Current executable set to '/Users/oyama/src/julia/usr/bin/julia-debug' (x86_64).
(lldb) run
Process 71244 launched: '/Users/oyama/src/julia/usr/bin/julia-debug' (x86_64)
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
 (_) | (_) (_) |

oyamad

oyamad

oyamad

oyamad

oyamad

# https://github.com/oyamad/LRSLib.jl/commit/cae37b5caddf3cd8855e000d575dcc03b51dce12
using LRSLib
using Polyhedra

A1 = -eye(Int, 9) # x >= 0;
b1 = zeros(Int, 9);
A2 = eye(Int, 9) # x <= 1;
b2 = ones(Int, 9);
A3 = zeros(Int, 9, 9);
b3 = 3 * ones(Int, 9);

oyamad

*lrs:lrslib v.6.1 2015.11.20(lrsgmp.h gmp v.6.1)
*Copyright (C) 1995,2015, David Avis   [email protected] 
*Input taken from file /Users/oyama/tmp/board.ine
V-representation
begin
***** 10 rational
 1  3/4  3/4  3/4  3/4  3/4  3/4  3/4  3/4  3/4 
 1  1/2  1/2  1  1/2  1/2  1  1  1  1/2 
 1  1  1/2  1  0  1/2  1  0  1  1/2 
 1  0  1/2  1  0  1/2  1  0  1  1/2 

oyamad

oyamad

oyamad