pmatos/maxsatzilla
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
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