sat4j 2.3.0-2 source package in Ubuntu
Changelog
sat4j (2.3.0-2) unstable; urgency=low * Include maxsat solver (closes: #636784) -- Ubuntu Archive Auto-Sync <email address hidden> Mon, 17 Oct 2011 15:33:33 +0000
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Precise
- Original maintainer:
- Michael Tautschnig
- Architectures:
- all
- Section:
- science
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
sat4j_2.3.0.orig.tar.gz | 13.2 MiB | 8d3f774265c653563c87442dbe8f0d0aebbfd5a60784d61572b57d7934fc1b84 |
sat4j_2.3.0-2.debian.tar.gz | 20.7 KiB | 91276e74f523f5773f51466dc63d7e89c829d5b517b76dfa87e4a60abd296255 |
sat4j_2.3.0-2.dsc | 1.1 KiB | 78ac248b0128d119ca83eed938c0ef82010a711481ddeec2ff50fdaa7b8db28e |
Available diffs
- diff from 2.3.0-1 to 2.3.0-2 (11.1 KiB)