cvc3 « src « java « compat « bindings « src - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Mode	Name	Size
-rw-r--r--	CLException.java	232	log plain
-rw-r--r--	Context.java	256	log plain
-rw-r--r--	ContextMut.java	307	log plain
-rw-r--r--	ContextMut_impl.cpp	0	log plain
-rw-r--r--	Context_impl.cpp	0	log plain
-rw-r--r--	Cvc3.java	6781	log plain
-rw-r--r--	Cvc3Exception.java	224	log plain
-rw-r--r--	DebugException.java	248	log plain
-rw-r--r--	Embedded.java	2996	log plain
-rw-r--r--	EmbeddedManager.java	2110	log plain
-rw-r--r--	EmbeddedManager_impl.cpp	94	log plain
-rw-r--r--	EvalException.java	245	log plain
-rw-r--r--	Expr.java	16386	log plain
-rw-r--r--	ExprManager.java	732	log plain
-rw-r--r--	ExprManagerMut.java	284	log plain
-rw-r--r--	ExprManager_impl.cpp	277	log plain
-rw-r--r--	ExprMut.java	292	log plain
-rw-r--r--	ExprMut_impl.cpp	0	log plain
-rw-r--r--	Expr_impl.cpp	7658	log plain
-rw-r--r--	Flag.java	1761	log plain
-rw-r--r--	FlagException.java	210	log plain
-rw-r--r--	Flag_impl.cpp	885	log plain
-rw-r--r--	Flags.java	910	log plain
-rw-r--r--	FlagsMut.java	1308	log plain
-rw-r--r--	FlagsMut_impl.cpp	518	log plain
-rw-r--r--	Flags_impl.cpp	350	log plain
-rw-r--r--	FormulaValue.java	1006	log plain
-rw-r--r--	InputLanguage.java	1050	log plain
-rw-r--r--	JniUtils.cpp	6110	log plain
-rw-r--r--	JniUtils.java	6238	log plain
-rw-r--r--	Op.java	1453	log plain
-rw-r--r--	OpMut.java	282	log plain
-rw-r--r--	OpMut_impl.cpp	0	log plain
-rw-r--r--	Op_impl.cpp	376	log plain
-rw-r--r--	ParserException.java	251	log plain
-rw-r--r--	Proof.java	248	log plain
-rw-r--r--	ProofMut.java	297	log plain
-rw-r--r--	ProofMut_impl.cpp	0	log plain
-rw-r--r--	Proof_impl.cpp	0	log plain
-rw-r--r--	QueryResult.java	1575	log plain
-rw-r--r--	Rational.java	6622	log plain
-rw-r--r--	RationalMut.java	312	log plain
-rw-r--r--	RationalMut_impl.cpp	0	log plain
-rw-r--r--	Rational_impl.cpp	2511	log plain
-rw-r--r--	SatResult.java	1514	log plain
-rw-r--r--	SmtlibException.java	251	log plain
-rw-r--r--	SoundException.java	248	log plain
-rw-r--r--	Statistics.java	268	log plain
-rw-r--r--	StatisticsMut.java	322	log plain
-rw-r--r--	StatisticsMut_impl.cpp	0	log plain
-rw-r--r--	Statistics_impl.cpp	0	log plain
-rw-r--r--	Test.java	63339	log plain
-rw-r--r--	Theorem.java	256	log plain
-rw-r--r--	TheoremMut.java	307	log plain
-rw-r--r--	TheoremMut_impl.cpp	0	log plain
-rw-r--r--	Theorem_impl.cpp	0	log plain
-rw-r--r--	TimeoutHandler.java	205	log plain
-rw-r--r--	Type.java	3414	log plain
-rw-r--r--	TypeMut.java	292	log plain
-rw-r--r--	TypeMut_impl.cpp	0	log plain
-rw-r--r--	Type_impl.cpp	1484	log plain
-rw-r--r--	TypecheckException.java	260	log plain
-rw-r--r--	ValidityChecker.java	64505	log plain
-rw-r--r--	ValidityChecker_impl.cpp	31153	log plain