Metadata-Version: 2.1
Name: cvc5
Version: 1.3.3
Summary: Nix package: cvc5
Requires-Python: >=3.14
