jan28 « sets « regress0 « regress « test - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

git repository hosting

Mode	Name	Size
-rw-r--r--	TalkingAboutSets.hs.fqout.3577minimized.smt2	591	log plain

generated by cgit on debian on lair

contact matthew@masot.net with questions or feedback