1YICES-SAT(1)                     User Commands                    YICES-SAT(1)
2
3
4

NAME

6       yices-sat - the Yices Sat solver
7

SYNOPSIS

9       yices-sat [ options ] file
10

DESCRIPTION

12       Runs the Yices SAT solver on an input file in the DIMACS format.
13

OPTIONS

15       --version, -V
16              Display version and exit.
17
18       --help, -h
19              Display a short help summary.
20
21
22       --model, -m
23              Print a model on stdout if the problem is satisfiable.
24
25       --verbose, -v
26              Print statistics and other data during the search.
27
28       --stats
29              Print a statistics summary at the end of the search.
30

SEE ALSO

32       yices(1), yices-smt(1), yices-smt2(1)
33
34       For   bug   reporting   and   other  information,  please  visit
35       http://yices.csl.sri.com.
36

AUTHORS

38       Copyright (C) SRI International.
39
40       Yices is developed at SRI's  Computer  Science  Laboratory.  The
41       main  developers  are  Bruno Dutertre <bruno@csl.sri.com>, Dejan
42       Jovanovic <dejan@csl.sri.com>, Ian A.  Mason  <iam@csl.sri.com>,
43       and Stephane Graham-Lengrand <stephane.graham-lengrand@sri.com>.
44
45
46
47Yices 2.6.2                       March 2020                      YICES-SAT(1)