DIST sat4j-pb-v20100623.zip 487925 SHA256 58f6afd05c3bdc81314bf34ef606e2323a27ef8a942312fc88fce757afbdf8dd SHA512 6aba2438070a3060fc26229fee1e30f8cfd37f2699c2ba28c4b7071fde2ad9be6ad22138b0e6beb7409b7eb57d3c44733c440ba2cf0ea36c7ea068e411a1a2e8 WHIRLPOOL 345ea01f5b5051a860c89e9bb77becbcd4b81997d688acc5363ee32006144331dd46e8ea557c3c8a191d077f5c1cd439034b8933e3670b8f470546227857e423
DIST sat4j-pb-v20111030.zip 650535 SHA256 79ea72ef37fde854177345c4f02f9efc123f60590b183c61b1799ad7b28825fd SHA512 ee27501e8c4efb3cf960278fdca0111442e14edcf303ffb9adea2c0e6b5dc7dce2df0304ea1aa05a1b00000478f9283230c7594325195be557a7bb459250fd9a WHIRLPOOL 430a9acc193bd88f41e4fbc0e2361fb8bfaf384ea7a7f3cd1a65b74dbb0131e172d0c98f84751c4d11134a7133b9e3babbf4ce589b5d7db3339c4e828aa9e1e1
DIST sat4j-pseudo-2.2.0-build.xml 9458 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8 SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a WHIRLPOOL b57e3e77a74b9205fec29a57ea4ce13b34d7f8891e01b3b7a928b2f009f49e58ca2c41f258bf34019f8e57f0e243bed8be26f9c4f0070458ebd7330351cffe55
DIST sat4j-pseudo-2.3.1-build.xml 9458 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8 SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a WHIRLPOOL b57e3e77a74b9205fec29a57ea4ce13b34d7f8891e01b3b7a928b2f009f49e58ca2c41f258bf34019f8e57f0e243bed8be26f9c4f0070458ebd7330351cffe55