GitHub - vinchuco/maxsatzilla: A portfolio solver for the MaxSAT problem.

vinchuco / maxsatzilla Public

forked from pmatos/maxsatzilla

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A portfolio solver for the MaxSAT problem.

GPL-3.0, GPL-3.0 licenses found

Licenses found

0 stars 1 fork Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 646 Commits
config		config
estimators		estimators
m4		m4
models		models
scripts		scripts
solvers		solvers
src		src
test		test
ubcsat		ubcsat
.gitignore		.gitignore
API		API
AUTHORS		AUTHORS
COPYING		COPYING
ChangeLog		ChangeLog
INSTALL		INSTALL
LICENSE		LICENSE
Makefile.am		Makefile.am
Makefile.in		Makefile.in
NEWS		NEWS
README		README
TODO		TODO
aclocal.m4		aclocal.m4
build.sh		build.sh
config.guess		config.guess
config.h.in		config.h.in
config.sub		config.sub
configure		configure
configure.ac		configure.ac
depcomp		depcomp
install-sh		install-sh
ltmain.sh		ltmain.sh
maxsatzilla.partial		maxsatzilla.partial
missing		missing

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