summaryrefslogtreecommitdiffstats
path: root/src/sat/pdr/pdrInv.c
Commit message (Expand)AuthorAgeFilesLines
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-131-1/+1
* New code since Dec 2010.Alan Mishchenko2011-01-131-0/+351