/maxsatzilla

A portfolio solver for the MaxSAT problem.

Primary LanguageCGNU General Public License v3.0GPL-3.0

Furius
------
 -- You don't want to see the Furius furious!
 -- Developers: Paulo Matos & Jordi Planes
 -- Collaborators: Joao Marques-Silva

Needed packages
---------------
autoconf
automake
libtool
libsvm
libsvm-devel
gsl
gsl-devel

Making the software (coach and furius executable):
--------------------------------------------------
autoreconf -if
./configure
make