repo.or.cz
/
piplib.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
configure.in: set AC_CONFIG_MACRO_DIR
[piplib.git]
/
example
/
boulet.ll
blob
aa227d1aa8f7fe81c1728a94618e6e64defb4c6f
1
[PIP2-like future input] Please enter:
2
- the context matrix,
3
0 3
4
- the bignum column (start at 0, -1 if no bignum),
5
-1
6
- the constraint matrix.
7
5 6
8
1 1 -1 2 0 0
9
1 0 1 1 4 20
10
1 0 -1 -1 0 0
11
1 0 1 -1 2 10
12
1 0 -1 1 2 10
13
14
(if #[ 1 5]
15
(list
16
#[ -3 -15]
17
#[ -1 -5]
18
#[ 1 5]
19
)
20
()
21
)