Age | Commit message (Expand) | Author |
---|---|---|
2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
2009-11-09 | minor fixes, added contrib directory | Morgan Deters |
2009-11-03 | additional headers and modifications; now passes syntax check | Morgan Deters |
2009-11-03 | additional headers | Morgan Deters |