[repositories] devel: [groups] [packages] [maintainers] [changelog]

 java-sat4j: a library of SAT solvers written in Java (source)

Name:java-sat4j
Release:2.2.0-3mamba
Group:Development/Libraries/Java
Maintainer:gil
Description:The aim of the SAT4J library is to provide an efficient library of SAT
solvers in Java. The SAT4J library targets first users of SAT "black
boxes", those willing to embed SAT technologies into their application
without worrying about the details.
License:Eclipse Public License Version 1.0, LGPL
Size:20.18 MB
Download:java-sat4j-2.2.0-3mamba.src.rpm
URL:http://www.sat4j.org/
Specfile:java-sat4j.spec
Sources:sat4j-2.2.0.tar.bz2 java-sat4j-2.2.0-fetch.sh
Patches:java-sat4j-2.2.0-noclasspathpbmanifest.patch 
Build time:Fri Mar 25 2011
Built RPMS:java-sat4j(i586) java-sat4j(x86_64)
Build requirements:apache-ant eclipse-ecj jakarta-commons-beanutils jakarta-commons-cli jakarta-commons-logging java-gcj-compat java-junit48 jpackage-utils
Changelog:Fri Mar 25 2011 - gil (2.2.0-3mamba)
- rebuilt with java-gcj-compat support
Mon Nov 29 2010 - gil (2.2.0-2mamba)
- rebuilt devel
Wed Jul 21 2010 - gil (2.2.0-1mamba)
- update to 2.2.0

[repositories] devel: [groups] [packages] [maintainers] [changelog]

Automatically generated by distromatic.