diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-17 17:29:49 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
| commit | 11a370348f92dfcf723b6a9318769ba3b27167e4 (patch) | |
| tree | a3f997148567d7e381d0aef1234d2ee41a7231bd /COPYING | |
| parent | d6eb4cccbac83fef58e98847178c04bf1b8b0ff2 (diff) | |
Documentation clean-ups.
Diffstat (limited to 'COPYING')
| -rw-r--r-- | COPYING | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. --- Morgan Deters <mdeters@cs.nyu.edu> Thu, 02 Jan 2014 14:02:28 -0500 +-- Morgan Deters <mdeters@cs.nyu.edu> Tue, 17 Jun 2014 17:08:22 -0400 CVC4 incorporates MiniSat code, excluded from the above copyright. See src/sat/minisat. Its copyright: |