cvc5.git
2009-11-12 Morgan Detersminor fixes
2009-11-12 Morgan Detersparser, minisat, other things..
2009-11-09 Morgan Detersminor fixes, added contrib directory
2009-11-03 Morgan Detersadditional headers and modifications; now passes syntax...
2009-11-03 Morgan Detersadditional headers
2009-11-03 Morgan Deterscommit of project structure including autotools support
2009-09-26 Morgan DetersInitial setup of the cvc4 repository