yices-sat - Man Page

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>.

Referenced By

yices(1), yices-smt(1), yices-smt2(1).

March 2020 Yices 2.6.2