org.sat4j.core-src.zip org.sat4j.pb-src.zip sat4j-2.0.3.tar.bz2 sat4j-2.1.0.RC2.tar.bz2 sat4j-2.1.0.tar.bz2 sat4j-2.1.1.tar.bz2 sat4j-2.1.1.tar.lzma sat4j-2.2.0.tar.xz sat4j-2.3.0.tar.xz /sat4j-2.3.3.tar.xz /noarch /sat4j-2.3.3 /sat4j-2.3.4.tar.xz /sat4j-2.3.4 /sat4j-2.3.5.tar.xz /sat4j-2.3.5 /.project /sat4j-2.3.5-1.fc20.src.rpm