YICES-SAT(1)

NAME
yices-sat - the Yices Sat solver

SYNOPSIS
yices-sat [ options ] file

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

OPTIONS

--version, -V
    Display version and exit.

--help, -h
    Display a short help summary.

--model, -m
    Print a model on stdout if the problem is satisfiable.

--verbose, -v
    Print statistics and other data during the search.

--stats
    Print a statistics summary at the end of the search.

SEE ALSO
yices(1), yices-smt(1), yices-smt2(1)

For bug reporting and other information, please visit http://yices.csl.sri.com.

AUTHORS

Copyright (C) SRI International.

Yices is developed at SRI's Computer Science Laboratory. The main developers are Bruno Dutertre <bruno@csl.sri.com>, Dejan Jovanovic <dejan@csl.sri.com>, Ian A. Mason <iam@csl.sri.com>, and Stephane Graham-Lengrand <stephane.graham-lengrand@sri.com>.