1 .\" Hey, EMACS: -*- nroff -*-
2 .\" First parameter, NAME, should be all caps
3 .\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
4 .\" other parameters are allowed: see man(7), man(1)
5 .TH COMPCTL 1 "March 16, 2012"
6 .\" Please adjust this date whenever revising the manpage.
8 .\" Some roff macros, for reference:
9 .\" .nh disable hyphenation
10 .\" .hy enable hyphenation
11 .\" .ad l left justify
12 .\" .ad b justify to both left and right margins
13 .\" .nf disable filling
14 .\" .fi enable filling
15 .\" .br insert line break
16 .\" .sp <n> insert n+1 empty lines
17 .\" for manpage-specific macros, see man(7)
19 compctl \- Computations under control
22 .RI --run " COMMAND... "
25 .RI --screen " COMMAND... "
31 .RI --limitmem " MAXMEM "
43 \fBComputations under control\fP will run a specificed program as
44 a non-interactive computation process, allowing it to be listed
45 and regulated by the user of the computer.
47 Run \fBcompctl\fP without any parameters of with the \fI--help\fP
48 option to obtain description of the available options.
52 compctl --run ./satsolver data.sat | tee results.txt
54 compctl --screen autotest-screen 5
57 compctl --limitmem 4096
62 \fBcompctl\fP was written by Petr Baudis <pasky@ucw.cz>.