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

Age	Commit message (Collapse)	Author
2018-02-15	Refactor regressions (#1581)	Andrew Reynolds

2014-06-30	Use FS as the set-logic string for theory of sets	Kshitij Bansal

2014-06-22	Renaming of SMT2 operator names, kinds for set theory	Kshitij Bansal
	* SET_SINGLETON kind renamed to just SINGLETON * "setenum" smt2 opertor renamed to "singleton"[1] * "in" smt2 operator renamed to "member"[2] [1] It was anyhow accepting exactly one argument, so was bit misleading to call set enumerator. [2] The corresponding kind was called MEMBER, so this will also make them consistent. Only inconsistency now is for subset: kind is called SUBSET but operator is called "subseteq".
2014-06-11	fix in sets rewriter	Kshitij Bansal