Metadata-Version: 2.1
Name: pycvc4
Version: 1.8.0
License-File: COPYING
License-File: AUTHORS
