1lrsscripts(5) lrslib 7.2 lrsscripts(5)
2 Name
6 lrsscripts: some (fragile) shell functions to perform common lrslib
7 operations. caveat emptor !
8 Synopsis
10 mfel input-file [output-file [procs ] ]
11 mlrs input-file [output-file [procs [cptime [cpindex] ] ]
13 plotV|plotR lrs-output-file [maxdepth [maxcobases] ]
15 plotL [histogram-file]
17 projred [-solver SMT-solver] ine-file [output file]
19 Description
22 mfel: multiprocessor version of fel(1) which performs multiple rounds
23 of Fourier-Motzkin elimination as specified in either a project or
24 eliminate option in the input file. mplrs performs only one iteration
25 and terminates. procs (if specified) is the number of processors to use
26 (assigned according to the default-hostfile), otherwise all available
27 processors on the current machine are used.
28 mlrs: simple interface to mplrs(1) that is similar to lrs(1) and in
30 addition does automatic checkpoint/restart for long runs. procs (if
31 specified) is the number of processors to use (assigned according to
32 the default-hostfile), otherwise all available processors on the
33 current machine are used. cptime (if specified) is the time in seconds
34 until a checkpoint/restart is made, default 86400 secs (1 day).
35 Checkpoint data is written into a file named input-file.cpN, where
36 N=0,1,2,... is assigned consecutively. cpindex (if specified) is a
37 valid value of N and causes a restart from checkpoint file input-
38 file.cpN. Other mplrs(1) command line parameters are default values.
39 plotV(requires gnuplot be installed): produces a PDF file named <lrs-
41 output-file>V.pdf that gives a plot of each vertex or facet along with
42 its height in the reverse search tree. lrs-output-file should be an
43 lrs/mplrs output file produced when the printcobasis is included in the
44 input file for the run.
45 plotR(requires gnuplot be installed): performs a similar task to plotV
47 for cones producing the file <lrs-output-file>H.pdf where the height of
48 each ray is plotted.
49 plotL(requires gnuplot be installed): plotL produces a realtime view of
51 an mplrs run that uses the command line option "-hist <histogram-
52 file>". If histogram-file is not specified hist is the assumed file
53 name. A PDF file named <histogram-file>.pdf is produced. The first
54 plot has 3 graphs showing the number of processors working, the size of
55 the job queue L, and message requests pending, all versus elapsed time
56 on the x-axis. The second histogram shows the size of the subtrees
57 explored by producers. The root of the subtree is not counted in this
58 size. Note that a producer stops after (possibly scaled) maxc nodes
59 are explored, but in backtracking some additional leaves may be
60 discovered. So the size of the largest subtree may be slightly larger
61 than maxc.
62 projred(requires inedel, checkpred(1) and external SMT solver be
64 installed): simple wrapper for checkpred(1) that tests and greedily
65 removes inequalities that are redundant after a projection, without
66 doing the projection. Repeatedly calls checkpred(1) and the specified
67 SMT solver (z3 by default), removing inequalities determined to be
68 redundant for the given projection. The output is produced in [output
69 file] or on standard output if no output file is specified. The output
70 file will produce the same projection as the original input.
71 Inequalities and projection to test are given as options in the input
72 file, see checkpred(1) for details.
73 Notes
76 User's guide for lrslib
77 http://cgm.cs.mcgill.ca/~avis/C/lrslib/USERGUIDE.html
78 Author
80 David Avis <avis at cs dot mcgill dot ca >
81 See Also
83 lrs(1), mplrs(1), fel(1), checkpred(1), lrslib(5)
84February 2022 2022.02.15 lrsscripts(5)