A portfolio solver for the MaxSAT problem.
License
pmatos/maxsatzilla
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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.