-
Notifications
You must be signed in to change notification settings - Fork 1
A portfolio solver for the MaxSAT problem.
License
pmatos/maxsatzilla
Folders and files
| Name | Name | Last commit message | 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
About
A portfolio solver for the MaxSAT problem.