mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
ae5ee4b07d
This commits changes the build system to cvc5 and removes the remaining occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
5 lines
163 B
Plaintext
5 lines
163 B
Plaintext
This directory is for contributions to cvc5 that aren't directly
|
|
part of the main project.
|
|
|
|
-- Morgan Deters <mdeters@cs.nyu.edu> Mon, 09 Nov 2009 15:14:41 -0500
|