minisat_conv.cpp File Reference

#include <set>
#include <sstream>
#include <util/lang/c_types.h>
#include <minisat_conv.h>

Include dependency graph for minisat_conv.cpp:

Functions
smt_solver_baset *	create_new_minisat_solver (bool int_encoding, const namespacet &ns, const optionst &options, tuple_iface **tuple_api, array_iface **array_api, fp_iface **fp_api)

Function Documentation

create_new_minisat_solver()

smt_solver_baset * create_new_minisat_solver	(	bool	int_encoding,
		const namespacet &	ns,
		const optionst &	options,
		tuple_iface **	tuple_api,
		array_iface **	array_api,
		fp_iface **	fp_api )