-
Notifications
You must be signed in to change notification settings - Fork 1
Debian packaging for the CVC3 Satisfiability Modulo Theories tool.
License
clconway/cvc3-debian
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
/*!\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> */
About
Debian packaging for the CVC3 Satisfiability Modulo Theories tool.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published