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

/*!\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>

*/


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

This document describes the Java wrapper for the CVC3 library.

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»

/*!\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

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