Updated fork of Azove from http://www.mpi-inf.mpg.de/~behle/azove.html
C++
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
CHANGELOG
COPYING
INSTALL
Makefile
README
andBDDnode.hpp
azove.cpp
azove.hpp
conBDD.cpp
conBDD.hpp
conBDDnode.cpp
conBDDnode.hpp
sigMDD.cpp
sigMDD.hpp
sigMDDnode.hpp
stackAndBDDnode.hpp
usertimer.hpp

README

Tips for the usage of azove:

- in case your problem instance does not have many constraints
  you should also try azove-1.x