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  main  de‐
41       velopers  are  Bruno Dutertre <bruno@csl.sri.com>, Dejan Jovanovic <de‐
42       jan@csl.sri.com>, Ian A. Mason <iam@csl.sri.com>, and Stephane  Graham-
43       Lengrand <stephane.graham-lengrand@sri.com>.
44
45
46
47Yices 2.6.4                      October 2021                     YICES-SAT(1)