Re: Testing libsatsolver on Fedora