GitHub - CVC4/Packages: Packaging (Debian, MacPorts, ...) for CVC4

Name		Name	Last commit message	Last commit date
Latest commit History 194 Commits
debian		debian
macports		macports
rpm		rpm
.travis.yml		.travis.yml
README		README

Repository files navigation

This repository contains packaging sources for CVC4.

Packaging (Debian, MacPorts, ...) for CVC4