Filewatcher File Search File Search
Catalog
Content Search
» » » »

cvc3_2.4.1.orig.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:cvc3_2.4.1.orig.tar.gz

/cvc3-2.4.1/README

/*!\page README README


This is a distribution of the CVC3 source code.  Its use is governed by the
terms set forth in the accompanying file \ref LICENSE.

For instructions on compiling and installing the code, see \ref INSTALL.

Other information and related links can be found at the CVC3 home
page:

<pre>
   http://www.cs.nyu.edu/acsys/cvc3
</pre>

*/

/cvc3-2.4.1/java/README

Java Interface for CVC3
-----------------------

This document describes the Java wrapper for the CVC3 library.

Table of contents:
1 Outline

2 Files

3 Installation
3.1 Required Software
3.2 Building the interface
3.3 Binaries
3.4 Installation
3.5 Execution
3.6 Testing

4 Architecture
4.1 Embedding a C++ Class: the Mapping Layer
4.2 Embedding a C++ Class: in a Java Class
4.3 Garbage Collection
4
more»

/cvc3-2.4.1/LICENSE.in

/*!\page LICENSE LICENSE

Copyright (C) 2003-2009 by the Board of Trustees of Leland Stanford Junior
University, New York University, and the University of Iowa, hereafter
designated as the Copyright Owners.

All rights reserved.

Redistribution and use in source and binary forms, with or without modification,
are permitted provided that the following conditions are met:

* Redistributions of sour
more»

Browse inside cvc3_2.4.1.orig.tar.gz

         [DIR]cvc3-2.4.1/ (20)  8 mirrors

Download cvc3_2.4.1.orig.tar.gz

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com