Hi, > I was exploring the sat4j package and found it hard to experiment, as > there is no documentation included, and the manpage is also not helpful. > E.g. the format of the input file is not described. If there is no > documentation available that can be included, at least add a link to > such documentation to the manpage and possibly a REAMDE.Debian file. > [...]
I've contacted upstream about documentation and will include an update in future versions. Given that the maxsat jar has just been added, even more documentation will be required. Sorry about not fixing this right away though, Michael
pgpeqczIbsAV9.pgp
Description: PGP signature
