Hi, * Michael Tautschnig <mt@debian.org> [2008-07-21 17:29]: > > Actually, I'm about to package sat4j [0], but haven't fully succeeded yet. Feel free to look at my Fedora packages (and suggest improvements :): http://cvs.fedoraproject.org/viewcvs/rpms/sat4j/devel/ Also, Daniel (upstream) asked me to package 2.0.2 when he releases it soon as that will contain all of the tests and data (so they can all be run) and a few other cleanups. HTH, Andrew