Package: minisat+ / 1.0-5

Header

Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/

Upstream-Name: copyright

Upstream-Contact: Niklas Sorensson <nik@chalmers.se>

Source: http://minisat.se/downloads/minisatp-1.0.tar.gz

Licenses