Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/pmatos/maxsatzilla
A portfolio solver for the MaxSAT problem.
https://github.com/pmatos/maxsatzilla
constraint-solving-algorithm maxsat portfolio-solver
Last synced: 9 days ago
JSON representation
A portfolio solver for the MaxSAT problem.
- Host: GitHub
- URL: https://github.com/pmatos/maxsatzilla
- Owner: pmatos
- License: mit
- Created: 2013-06-25T21:36:02.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2022-05-17T12:11:42.000Z (over 2 years ago)
- Last Synced: 2024-05-09T18:56:05.056Z (6 months ago)
- Topics: constraint-solving-algorithm, maxsat, portfolio-solver
- Language: C
- Homepage:
- Size: 8.89 MB
- Stars: 0
- Watchers: 4
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README
- Changelog: ChangeLog
- License: LICENSE
Awesome Lists containing this project
README
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