summaryrefslogtreecommitdiff
path: root/src/smt/smt_engine.cpp
AgeCommit message (Expand)Author
2010-02-02Switched cnf conversion to go through CnfStream.Tim King
2010-01-29fixed CNF conversion, and more modular; CNF conversion command line option; v...Morgan Deters
2010-01-26cnf conversionMorgan Deters
2010-01-26fixes to build structure, util classes, lots of fixes to Node and NodeBuilder...Morgan Deters
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-12-17coding standard fix on SmtEngine; fix recursive makeMorgan Deters
2009-12-17+ test infrastructure fixesMorgan Deters
2009-12-11Extracted the public Expr and ExprManager interface to encapsulate the optimi...Dejan Jovanović
2009-12-10killing expr into node...Dejan Jovanović
2009-12-09A mess of changes in the expression manager, simple example still failing due...Dejan Jovanović
2009-12-08work on propositional layer, expression builder support for large expressions...Morgan Deters
2009-12-03parsing/expr/command/result/various other fixesMorgan Deters
2009-11-25additional work on parser hookup, configuration + buildMorgan Deters
2009-11-24oops, missed a fileMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback