git.libre-soc.org Git - cvc5.git/commit

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Tue, 14 Sep 2021 23:29:22 +0000 (18:29 -0500)
committer	GitHub <noreply@github.com>
	Tue, 14 Sep 2021 23:29:22 +0000 (23:29 +0000)
commit	57dc21b3ee7ba8b991712361fc8804e1e584e674
tree	1210277e5b3d3080807928a566a3a227fc34aba6	tree
parent	560391cf71c1004716168a979782875de98b867f	commit \| diff

Add get-difficulty to the API (#7194)

Adds smt2 parsing, printing and API support for get-difficulty. Adds unit tests.

16 files changed:

src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/cpp/cvc5.h		diff \| blob \| history
src/main/command_executor.cpp		diff \| blob \| history
src/options/main_options.toml		diff \| blob \| history
src/parser/smt2/Smt2.g		diff \| blob \| history
src/printer/printer.cpp		diff \| blob \| history
src/printer/printer.h		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.h		diff \| blob \| history
src/prop/minisat/core/Solver.cc		diff \| blob \| history
src/smt/command.cpp		diff \| blob \| history
src/smt/command.h		diff \| blob \| history
src/smt/set_defaults.cpp		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
test/unit/api/solver_black.cpp		diff \| blob \| history