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: 12 months 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 12 years ago)
• Default Branch: master
• Last Pushed: 2022-05-17T12:11:42.000Z (almost 4 years ago)
• Last Synced: 2025-01-09T23:25:46.173Z (about 1 year 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