| Coq Service |
| Version 1.0 M1 |
About Install API Documentation Contact us
The Coq Service project delivers the user with a TCP/IP based service that can be embedded in the Server/Service Framework. The code is packaged in a small JAR-file so the user is able to reuse the link in his/her own project without much effort.
How do you install this package? Very easy, just make sure when you start your own project the JAR-file for this project is also in the classpath. After that the link should work.
If you wish to contact the author mail him at mriem@win.tue.nl
Copyright (c) 2000, Eindhoven University of Technology (TU/e).
All Rights Reserved.