DIST sat4j-core-2.2.0-build.xml 9458 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8 SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a WHIRLPOOL b57e3e77a74b9205fec29a57ea4ce13b34d7f8891e01b3b7a928b2f009f49e58ca2c41f258bf34019f8e57f0e243bed8be26f9c4f0070458ebd7330351cffe55
DIST sat4j-core-2.3.1-build.xml 9458 SHA256 f0d05ae4fa0485b0dacc3627120b6d7053e24356127a12733a95f85f30bca2d8 SHA512 ab09e0773adaf578e87503373b6156d42430270472c07159ad8246ae6c2f20c02447776c1b925fb0d4eaeed6dd3f7c3b0f36a5a410f0e22d2594b9b4deeb4d7a WHIRLPOOL b57e3e77a74b9205fec29a57ea4ce13b34d7f8891e01b3b7a928b2f009f49e58ca2c41f258bf34019f8e57f0e243bed8be26f9c4f0070458ebd7330351cffe55
DIST sat4j-core-v20100623.zip 383901 SHA256 9a331a640102ab9b4ff11bb7153d364eeedbdab0d19464d887c57636c3236a60 SHA512 60020df4cb07a1498c3e77463b9f940a65de98de995d9f3cc0308133e264d891de4d835bf4dd28c09da34b758e4edf4a28b661805ab85028a4cb6a519e128276 WHIRLPOOL b74a1107580de0cfeba15e90f76cbea8c534816ac7131f74605c1f928055f0b085a089048578484f07b1a2d72b0e8b44a61e67b4bb2a60d6d15481524d3b7cf4
DIST sat4j-core-v20111030.zip 443396 SHA256 d6c72afb5bccaa00a437cc5a65514c5caa8feae2cd7881415a1b6ea0dbfbcb51 SHA512 bb54221f70b99fb32786e37b6ab58e78cb353d8b614b76c7ef8898d0f0b2ec94f800e13f58712f994644cef24bcdc30a8ee76a513ca01db94ddb9fbff06e1550 WHIRLPOOL 87534eb3caed49bc9ecef38d96c0135d4fe57842d26bac9e3314aaf0b9b7e76047cbda06f768ea18191cb5712b782e97f3cccc8749c96264bdc73fd440579e2e