229<!-- !!! THE .NET INTERFACE IS NO LONGER SUPPORTED !!!
230<h3>
231.NET interface
232</h3>
233
234<em><strong>Note: The .NET interface is experimental. The API may
235change in future releases.</strong></em>
236
237A .NET interface to the %CVC3 library can be built using Visual Studio
2382005 or later. To build the interface:
239
240<ol>
241<li>The lexers and parsers for the supported input languages need to be generated outside of Visual Studio. This can be done in two ways:
242 <ul>
243 <li>Use the lexer/parser files created by a Cygwin build. It suffices to run Make in <code>src/parser</code>:
244<pre>
245./configure
246cd src/parser
247make
248</pre>
249</li>
250
251 <li>Run the script <code>make_parser.bat</code> in directory <code>src/parser</code> with the native Windows versions of <a href="http://gnuwin32.sourceforge.net/packages/flex.htm">Flex</a> and <a href="http://gnuwin32.sourceforge.net/packages/bison.htm">Bison</a>.</li>
252 </ul>
253</li>
254<li>Open the solution file <code>windows/cvc3.sln</code> in Visual Studio. The solution file contains the following projects (each with Debug/Release versions):
255 <ul>
256<li>cvc3lib: the C++ %CVC3 library</li>
257<li>cvc3: the %CVC3 command-line program</li>
258<li>cvc3test: tests for cvc3lib</li>
259<li>cvc3libcli: the .NET %CVC3 library</li>
260<li>cvc3cli: a C# clone of the %CVC3 command-line program</li>
261<li>cvc3testcli: tests for cvc3libcli</li>
262 </ul>
263</li>
264</ol>
265
266Each project can be built as usual with Visual Studio. Binaries will
267be put in the folders <code>windows/release</code> (for Release
268builds) and <code>windows/debug</code> (for Debug builds).
269
270For more information, see the file <code>windows/INSTALL</code>.
271
272<b>Note:</b> the .NET interface can only be used on Microsoft's CLR,