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

Age	Commit message (Expand)	Author
2014-01-24	Simplify the QCF algorithm by more aggressive flattening, removes EqRegistry ...	Andrew Reynolds
2014-01-18	Performance optimization for E-matching, working on using QCF module for prop...	Andrew Reynolds
2014-01-17	More optimizations for quantifiers conflict find. Add trust user patterns mode.	Andrew Reynolds
2014-01-15	Optimizations for quantifiers conflict find: better caching, process matching...	Andrew Reynolds
2014-01-10	Add stats to quantifiers conflict find. Added option for qcf. Working on ha...	Andrew Reynolds
2014-01-10	Add new method --quant-cf for finding conflicts eagerly for quantified formul...	Andrew Reynolds