$ 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
(_) | (_) (_) |
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# 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); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
*lrs:lrslib v.6.1 2015.11.20(lrsgmp.h gmp v.6.1) | |
*Copyright (C) 1995,2015, David Avis avis@cs.mcgill.ca | |
*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 |
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
NewerOlder